From 52e6334c8c95ec873ccbcf17bf42de12eec0475d Mon Sep 17 00:00:00 2001 From: mathieui Date: Wed, 2 Apr 2014 21:33:17 +0200 Subject: Fix #2340 (change tab priority when the input is not empty) --- src/theming.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/theming.py') diff --git a/src/theming.py b/src/theming.py index 0e271018..af8c7d36 100644 --- a/src/theming.py +++ b/src/theming.py @@ -201,6 +201,7 @@ class Theme(object): # Tabs COLOR_TAB_NORMAL = (7, 4) + COLOR_TAB_NONEMPTY = (7, 4) COLOR_TAB_SCROLLED = (5, 4) COLOR_TAB_JOINED = (82, 4) COLOR_TAB_CURRENT = (7, 6) @@ -211,6 +212,7 @@ class Theme(object): COLOR_TAB_DISCONNECTED = (7, 8) COLOR_VERTICAL_TAB_NORMAL = (4, -1) + COLOR_VERTICAL_TAB_NONEMPTY = (4, -1) COLOR_VERTICAL_TAB_JOINED = (82, -1) COLOR_VERTICAL_TAB_SCROLLED = (66, -1) COLOR_VERTICAL_TAB_CURRENT = (7, 4) -- cgit v1.2.3