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

make navbar more responsible

Browse Source
This commit is contained in:
Konstantin Bulenkov
2013-05-22 14:29:38 +02:00
parent 5bb068f3bb
commit 1f40cfbc80
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/misc/registry.properties
+2 -2
View File
@@ -201,8 +201,8 @@ keymap.show.alias.actions=false
frameworks.download.libraries.server.url=http://pluginsrepo-test:8080
caches.indexerThreadsCount=-1
vcs.show.history.numbers=true
navBar.updateMergeTime=250
navBar.userActivityMergeTime=500
navBar.updateMergeTime=100
navBar.userActivityMergeTime=100
inspectionGadgets.telemetry.enabled=false