From a157b69bda342dd77e1ab7e547d9579057e6cc42 Mon Sep 17 00:00:00 2001
From: Ivan Murashov <ivan.murashov@u-s.su>
Date: Mon, 12 Mar 2018 22:55:10 +0300
Subject: [PATCH] Change scrolling screend delay from 1000ms to 100ms.

---
 lib/base/base_state.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/base/base_state.dart b/lib/base/base_state.dart
index eb3cab9..33573c7 100644
--- a/lib/base/base_state.dart
+++ b/lib/base/base_state.dart
@@ -365,7 +365,7 @@ class EnsureVisibleWhenFocusedState extends State<EnsureVisibleWhenFocused> {
     // TODO: position doesn't seem to notify listeners when metrics change,
     // perhaps a NotificationListener around the scrollable could avoid
     // the need insert a delay here.
-    await new Future.delayed(const Duration(milliseconds: 1000));
+    await new Future.delayed(const Duration(milliseconds: 100));
 
     if (!widget.focusNode.hasFocus)
       return;