mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-10 10:17:11 +03:00
Set autoHideMenuBar on properties object
This commit is contained in:
parent
b47d52d919
commit
a9826653e1
@ -189,7 +189,7 @@ module.exports =
|
||||
description: 'Increase/decrease the editor font size when pressing the Ctrl key and scrolling the mouse up/down.'
|
||||
|
||||
if process.platform in ['win32', 'linux']
|
||||
module.exports.core.autoHideMenuBar =
|
||||
module.exports.core.properties.autoHideMenuBar =
|
||||
type: 'boolean'
|
||||
default: false
|
||||
description: 'Automatically hide the menu bar. This is only supported on Linux and Windows'
|
||||
|
Loading…
Reference in New Issue
Block a user