mirror of
https://github.com/enso-org/enso.git
synced 2025-01-02 02:02:08 +03:00
Fix ability to toggle dev console in app on macOS. (https://github.com/enso-org/ide/pull/784)
Original commit: 3d0ea7d6c7
This commit is contained in:
parent
8bf168dd16
commit
1a796858bd
@ -57,7 +57,7 @@ tags: [product,ui]
|
||||
| -------- | ------ |
|
||||
| <kbd>cmd</kbd> / <kbd>ctrl</kbd> + <kbd>space</kbd> | Toggle visualization visibility of the selected node. |
|
||||
| <kbd>cmd</kbd> / <kbd>ctrl</kbd> + <kbd>f</kbd> | Cycle visualizations of the selected node. |
|
||||
| <kbd>cmd</kbd> / <kbd>ctrl</kbd> + <kbd>\\</kbd> | Toggle documentation view visibility |
|
||||
| <kbd>cmd</kbd> / <kbd>ctrl</kbd> + <kbd>\</kbd> | Toggle documentation view visibility |
|
||||
|
||||
### Debug
|
||||
| Shortcut | Action |
|
||||
|
@ -341,9 +341,9 @@ function createWindow() {
|
||||
windowPreferences.vibrancy = 'fullscreen-ui'
|
||||
}
|
||||
|
||||
Electron.Menu.setApplicationMenu(null);
|
||||
const window = new Electron.BrowserWindow(windowPreferences)
|
||||
|
||||
window.setMenuBarVisibility(false)
|
||||
|
||||
if (args.dev) {
|
||||
window.webContents.openDevTools()
|
||||
|
Loading…
Reference in New Issue
Block a user