diff options
author | Tomas Janousek <tomi@nomi.cz> | 2008-05-28 13:43:07 (GMT) |
---|---|---|
committer | Tomas Janousek <tomi@nomi.cz> | 2008-05-28 13:43:07 (GMT) |
commit | 5119ded37434bbc94f0d3c663f0d670f37438583 (patch) | |
tree | 5da86cafce6de4b72896648eb256f77a0cca15d1 | |
parent | 467fefaae453e0c1eae0340f1d1d7d89eafd3e22 (diff) | |
download | fluxbox_paul-5119ded37434bbc94f0d3c663f0d670f37438583.zip fluxbox_paul-5119ded37434bbc94f0d3c663f0d670f37438583.tar.bz2 |
Fix focused/unfocused border color of the tab container.
(it was broken since 46bca62a9cd8052bd8749da8b1aa7539d5fe8c23)
-rw-r--r-- | src/FbWinFrame.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/FbWinFrame.cc b/src/FbWinFrame.cc index 684fcbc..5dd9bca 100644 --- a/src/FbWinFrame.cc +++ b/src/FbWinFrame.cc | |||
@@ -121,7 +121,6 @@ bool FbWinFrame::setTabMode(TabMode tabmode) { | |||
121 | if (tabmode == EXTERNAL) { | 121 | if (tabmode == EXTERNAL) { |
122 | m_label.show(); | 122 | m_label.show(); |
123 | m_tab_container.setBorderWidth(m_window.borderWidth()); | 123 | m_tab_container.setBorderWidth(m_window.borderWidth()); |
124 | m_tab_container.setBorderColor(theme()->border().color()); | ||
125 | m_tab_container.setEventMask( | 124 | m_tab_container.setEventMask( |
126 | ButtonPressMask | ButtonReleaseMask | | 125 | ButtonPressMask | ButtonReleaseMask | |
127 | ButtonMotionMask | ExposureMask | | 126 | ButtonMotionMask | ExposureMask | |
@@ -1471,6 +1470,7 @@ bool FbWinFrame::setBorderWidth(bool do_move) { | |||
1471 | handle().setBorderColor(theme()->border().color()); | 1470 | handle().setBorderColor(theme()->border().color()); |
1472 | gripLeft().setBorderColor(theme()->border().color()); | 1471 | gripLeft().setBorderColor(theme()->border().color()); |
1473 | gripRight().setBorderColor(theme()->border().color()); | 1472 | gripRight().setBorderColor(theme()->border().color()); |
1473 | tabcontainer().setBorderColor(theme()->border().color()); | ||
1474 | } | 1474 | } |
1475 | 1475 | ||
1476 | if (border_width == window().borderWidth()) | 1476 | if (border_width == window().borderWidth()) |