diff options
Diffstat (limited to 'hide-menubar.patch')
| -rw-r--r-- | hide-menubar.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/hide-menubar.patch b/hide-menubar.patch new file mode 100644 index 000000000000..92ebf9816468 --- /dev/null +++ b/hide-menubar.patch @@ -0,0 +1,12 @@ +diff --git a/desktop/app.js b/desktop/app.js +index 75737e1..c75f793 100644 +--- a/desktop/app.js ++++ b/desktop/app.js +@@ -137,6 +137,7 @@ function readAppSettings() { + function createMainWindow() { + const appSettings = readAppSettings(); + const windowOptions = { ++ autoHideMenuBar: true, + show: false, + width: 1000, height: 700, minWidth: 700, minHeight: 400, + titleBarStyle: appSettings ? appSettings.titlebarStyle : undefined, |