From 7402c27b6a94258952ef56470c644c121949ff01 Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Sat, 4 Jun 2016 00:41:26 +0100
Subject: [PATCH] Reduce tab left-padding below a width threshold

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

diff --git a/editor/js/ui/tabs.js b/editor/js/ui/tabs.js
index 04be5da97..1b98c117a 100644
--- a/editor/js/ui/tabs.js
+++ b/editor/js/ui/tabs.js
@@ -81,14 +81,17 @@ RED.tabs = (function() {
             if (tabWidth < 50) {
                 ul.find(".red-ui-tab-close").hide();
                 ul.find(".red-ui-tab-icon").hide();
+                ul.find(".red-ui-tab-label").css({paddingLeft:Math.min(12,Math.max(0,tabWidth-38))+"px"})
             } else {
                 ul.find(".red-ui-tab-close").show();
                 ul.find(".red-ui-tab-icon").show();
+                ul.find(".red-ui-tab-label").css({paddingLeft:""})
             }
             if (currentActiveTabWidth !== 0) {
                 ul.find("li.red-ui-tab.active").css({"width":options.minimumActiveTabWidth});
                 ul.find("li.red-ui-tab.active .red-ui-tab-close").show();
                 ul.find("li.red-ui-tab.active .red-ui-tab-icon").show();
+                ul.find("li.red-ui-tab.active .red-ui-tab-label").css({paddingLeft:""})
             }
 
         }