# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1444016294 25200
# Node ID fab7a3e029593632a3927e9fe04815506eb3a9fc
# Parent  7ab2a4418eaf30b693de10aab647b29bac435839
Add shortcut to hide/show the toolbar.

diff -r 7ab2a4418eaf -r fab7a3e02959 pentadactyl/pentadactylrc
--- a/pentadactyl/pentadactylrc	Mon Aug 24 22:33:16 2015 -0700
+++ b/pentadactyl/pentadactylrc	Sun Oct 04 20:38:14 2015 -0700
@@ -55,6 +55,8 @@
 " <Insert> key sends the <Help> ID. WTF.
 nmap -builtin <Help> <Insert>
 
+nmap -builtin <F3> :set guioptions!=T<cr>
+
 " DDG FTW
 set defsearch=duckduckgo