diff options
author | Aaron Abbott | 2016-09-12 11:41:25 -0400 |
---|---|---|
committer | Aaron Abbott | 2016-09-12 11:41:25 -0400 |
commit | 71550a8b511ae8ab761534bbdfd1fe3cb4ee7144 (patch) | |
tree | 39dd88e9dbdfc7a69b9196d3bb84674048788326 /autohide-menu.patch | |
parent | 71a8b46e50c798ec8220fccdbedbd0162b30b50d (diff) | |
download | aur-71550a8b511ae8ab761534bbdfd1fe3cb4ee7144.tar.gz |
Added @fleischie's patch for hiding the menu bar
Also updated download link
Diffstat (limited to 'autohide-menu.patch')
-rw-r--r-- | autohide-menu.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/autohide-menu.patch b/autohide-menu.patch new file mode 100644 index 000000000000..dd48670ae9dd --- /dev/null +++ b/autohide-menu.patch @@ -0,0 +1,12 @@ +diff -aur package.pristine/app/index.js package.new/app/index.js +--- package.pristine/app/index.js 2016-07-26 20:35:30.000000000 +0200 ++++ package.new/app/index.js 2016-09-12 15:23:14.737276532 +0200 +@@ -56,7 +56,8 @@ + icon: resolve(__dirname, 'static/icon.png'), + // we only want to show when the prompt + // is ready for user input +- show: process.env.HYPERTERM_DEBUG || isDev ++ show: process.env.HYPERTERM_DEBUG || isDev, ++ autoHideMenuBar: true + }; + const browserOptions = plugins.getDecoratedBrowserOptions(browserDefaults); |