MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-114252 WebStorm clipboard history conflicts with external clipboard manager (ClipMenu)

Browse Source
This commit is contained in:
Vassiliy
2014-06-05 16:23:21 +04:00
parent 3d7f7d2678
commit f3fe82ec09
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/misc/registry.properties
+1 -1
View File
@@ -140,7 +140,7 @@ ide.mac.inplaceDialogMnemonicsFix=false
ide.mac.fix.dialog.showing=false
ide.mac.hide.cursor.when.typing=true
ide.mac.show.native.help=true
ide.mac.useNativeClipboard=false
ide.mac.useNativeClipboard=true
ide.mac.boldEditorTabs=false
ide.mac.disableMacScrollbars=false
ide.mac.disableMacScrollbars.description=Disables OS X overlay scrollbars (effective on restart)