Fix focused/unfocused border color of the tab container. (it was broken since 46bca62a9cd8052bd8749da8b1aa7539d5fe8c23)
Tomas Janousek tomi@nomi.cz
1 files changed,
1 insertions(+),
1 deletions(-)
jump to
M
src/FbWinFrame.cc
→
src/FbWinFrame.cc
@@ -121,7 +121,6 @@ // reparent tab container
if (tabmode == EXTERNAL) { m_label.show(); m_tab_container.setBorderWidth(m_window.borderWidth()); - m_tab_container.setBorderColor(theme()->border().color()); m_tab_container.setEventMask( ButtonPressMask | ButtonReleaseMask | ButtonMotionMask | ExposureMask |@@ -1471,6 +1470,7 @@ titlebar().setBorderColor(theme()->border().color());
handle().setBorderColor(theme()->border().color()); gripLeft().setBorderColor(theme()->border().color()); gripRight().setBorderColor(theme()->border().color()); + tabcontainer().setBorderColor(theme()->border().color()); } if (border_width == window().borderWidth())