From 32509d648276efbd1fab1f9249a7db58e7ebb24e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Sat, 8 Oct 2016 00:49:09 +0200 Subject: [PATCH] Don't use vimperator in the gsi domain --- vimperator/.vimperatorrc | 1 + 1 file changed, 1 insertion(+) diff --git a/vimperator/.vimperatorrc b/vimperator/.vimperatorrc index 381e52f..3ffab15 100644 --- a/vimperator/.vimperatorrc +++ b/vimperator/.vimperatorrc @@ -8,6 +8,7 @@ autocmd LocationChange .* js modes.passAllKeys = false autocmd LocationChange mail\\.google\\.com js modes.passAllKeys = true autocmd LocationChange docs\\.google\\.com js modes.passAllKeys = true autocmd LocationChange duckduckgo\\.com js modes.passAllKeys = true +autocmd LocationChange .*.gsi\\.dit\\.upm\\.es js modes.passAllKeys = true autocmd LocationChange 127.0.0.1|localhost js modes.passAllKeys = true " Make Firefox run faster by using JIT