Perfomance: allow to set the onUpdateUI timeout using a hidden pref (…

…onUpdateUI_timeout); fixed Komodo#2470 Signed-off-by: Defman21 <[email protected]>
Defman21 · May 5, 2017 · c4eb6d2 · c4eb6d2
1 parent 04af5f2
commit c4eb6d2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/chrome/komodo/content/bindings/views-buffer.p.xml b/src/chrome/komodo/content/bindings/views-buffer.p.xml
@@ -1200,7 +1200,8 @@
                 clearTimeout(this._uiTimer);
             }
             
-            this._uiTimer = setTimeout(this._onUpdateUI_debounced.bind(this, updated), 200);
+            this._uiTimer = setTimeout(this._onUpdateUI_debounced.bind(this, updated),
+                                       ko.prefs.getLong('onUpdateUI_timeout', 200));
         ]]>
         </body>
         </method>