mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Disabling JumpList because of some issues on win32 platform.
This commit is contained in:
@@ -311,7 +311,7 @@ ide.mac.message.sheets.java.emulation=false
|
||||
ide.mac.message.sheets.java.emulation.description=Use Java message sheets instead of native ones
|
||||
linux.native.menu=false
|
||||
linux.native.menu.description=Enables native menu on Ubuntu
|
||||
windows.jumplist=true
|
||||
windows.jumplist=false
|
||||
windows.jumplist.description=Enables JumpLists on Windows
|
||||
|
||||
# suppress inspection "UnusedProperty"
|
||||
|
||||
Reference in New Issue
Block a user