From 1f40cfbc80b68479d38b385bcd3d9e4422fe88fb Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Wed, 22 May 2013 14:28:29 +0200 Subject: [PATCH] make navbar more responsible --- platform/platform-resources-en/src/misc/registry.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/platform-resources-en/src/misc/registry.properties b/platform/platform-resources-en/src/misc/registry.properties index 73d8603e5e2b..fa065c6fdd0c 100644 --- a/platform/platform-resources-en/src/misc/registry.properties +++ b/platform/platform-resources-en/src/misc/registry.properties @@ -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