From 2bb26ce44bb9653b8a8062bc5bdaf984ec948e75 Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Mon, 31 Oct 2016 15:33:13 +0300
Subject: [PATCH] IDEA-163026 AutoScrollFromSource delay is unconfigurable, and
 unpleasant

---
 .../src/com/intellij/ui/AutoScrollFromSourceHandler.java       | 3 ++-
 platform/util/resources/misc/registry.properties               | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/ui/AutoScrollFromSourceHandler.java b/platform/platform-api/src/com/intellij/ui/AutoScrollFromSourceHandler.java
index 81fb978c4714..6ec2efd919a0 100644
--- a/platform/platform-api/src/com/intellij/ui/AutoScrollFromSourceHandler.java
+++ b/platform/platform-api/src/com/intellij/ui/AutoScrollFromSourceHandler.java
@@ -28,6 +28,7 @@ import com.intellij.openapi.fileEditor.FileEditorManagerListener;
 import com.intellij.openapi.project.DumbAware;
 import com.intellij.openapi.project.Project;
 import com.intellij.openapi.util.Disposer;
+import com.intellij.openapi.util.registry.Registry;
 import com.intellij.util.Alarm;
 import com.intellij.util.messages.MessageBusConnection;
 import org.jetbrains.annotations.NotNull;
@@ -69,7 +70,7 @@ public abstract class AutoScrollFromSourceHandler implements Disposable {
   }
 
   protected long getAlarmDelay() {
-    return 500;
+    return Registry.intValue("ide.autoscroll.from.source.delay", 100);
   }
 
   public void install() {
diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties
index f6625480b3c9..e65ffa94a80e 100644
--- a/platform/util/resources/misc/registry.properties
+++ b/platform/util/resources/misc/registry.properties
@@ -113,6 +113,9 @@ ide.tree.deferred.icon.invalidates.cache=true
 
 ide.splitter.mouseZone=6
 
+ide.autoscroll.from.source.delay=100
+ide.autoscroll.from.source.delay.description=Delay before performing the AutoscrollFromSource action
+
 ide.scroll.default.unit.increment=false
 ide.scroll.default.unit.increment.description=Use default unit increment from Java (may decrease scrolling performance).