From 5b22ccfca6e15f0164962dbc05ef6756576cd3e2 Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Sat, 15 Oct 2016 20:58:27 +0100
Subject: [PATCH] Speed up tab scrolling

---
 editor/js/ui/common/tabs.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/editor/js/ui/common/tabs.js b/editor/js/ui/common/tabs.js
index 608b76e2b..783db3d41 100644
--- a/editor/js/ui/common/tabs.js
+++ b/editor/js/ui/common/tabs.js
@@ -53,7 +53,7 @@ RED.tabs = (function() {
                 return;
             }
             var currentScrollLeft = scrollContainer.scrollLeft();
-            scrollContainer.animate( { scrollLeft: dir }, 300);
+            scrollContainer.animate( { scrollLeft: dir }, 100);
             var interval = setInterval(function() {
                 var newScrollLeft = scrollContainer.scrollLeft()
                 if (newScrollLeft === currentScrollLeft) {
@@ -61,8 +61,8 @@ RED.tabs = (function() {
                     return;
                 }
                 currentScrollLeft = newScrollLeft;
-                scrollContainer.animate( { scrollLeft: dir }, 300);
-            },300);
+                scrollContainer.animate( { scrollLeft: dir }, 100);
+            },100);
             $(this).one('mouseup',function() {
                 clearInterval(interval);
             })