# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1405015519 25200
# Node ID 095fb39b2096816abe594a50ed943cc9f4a83812
# Parent  393449253540a285390252c59adbf6fc87346eba# Parent  7b34721d0d3db49cdc72c121977972fd7a30408a
Merged changes.

diff -r 393449253540 -r 095fb39b2096 vimperatorrc
--- a/vimperatorrc	Thu Jul 10 10:58:36 2014 -0700
+++ b/vimperatorrc	Thu Jul 10 11:05:19 2014 -0700
@@ -43,7 +43,7 @@
 nnoremap <leader>b :downloads<cr>
 
 " Super minimal UI
-set toolbars=noaddons,nobookmarks,nomenu,nonavigation,notabs
+"set toolbars=noaddons,nobookmarks,nomenu,nonavigation,notabs
 
 " Websites with useful keyboard shortcuts already
 ignorekeys add -except=:,J,K,b fastmail.fm
@@ -51,4 +51,20 @@
 ignorekeys add -except=:,J,K,b mnmlrdr.com
 ignorekeys add -except=:,J,K,b newsblur.com
 
+" The new Firefox fucked up vimperator's ability to hide
+" things. Let's do it ourselves for now.
+map <silent> <F2> :js toggle_ui()<CR>
+
+:js << EOF
+function toggle_ui() {
+    var nb = document.getElementById('nav-bar');
+    nb.style.visibility = (nb.style.visibility == '') ? 'collapse' : '';
+    nb.style.overflow = (nb.style.height == '') ? '' : 'hidden';
+
+    var tb = document.getElementById('TabsToolbar');
+    tb.style.visibility = (tb.style.visibility == '') ? 'hidden' : '';
+    }
+toggle_ui();
+EOF
+
 " vim: ft=vim