all repos — fluxbox @ 15f53b5556403a8301fc7be4512b6f8ce52ffa5d

custom fork of the fluxbox windowmanager 

fix minor rendering bug when growing tabs
simonb simonb
commit

15f53b5556403a8301fc7be4512b6f8ce52ffa5d

parent

5e22dcd9ff8cb8a173992bf57b592a7f8cfd66f5

1 files changed, 5 insertions(+), 1 deletions(-)

jump to
M src/FbWinFrame.cc → src/FbWinFrame.cc 
@@ -345,7 +345,11 @@ void FbWinFrame::alignTabs() {
     if (m_tabmode != EXTERNAL)
         return;
 
-    m_tab_container.setMaxSizePerClient(m_screen.getTabWidth());
+    if (m_tab_container.maxWidthPerClient() != m_screen.getTabWidth()) {
+        m_tab_container.setMaxSizePerClient(m_screen.getTabWidth());
+        renderTabContainer();
+        applyTabContainer();
+    }
 
     int tabx = 0, taby = 0;
     switch (m_screen.getTabPlacement()) {