diff options
author | simonb <simonb> | 2006-03-23 01:06:29 (GMT) |
---|---|---|
committer | simonb <simonb> | 2006-03-23 01:06:29 (GMT) |
commit | 15f53b5556403a8301fc7be4512b6f8ce52ffa5d (patch) | |
tree | a6b9f81eec18b5d7e1e6b5e1af6283682261f1d1 /src | |
parent | 5e22dcd9ff8cb8a173992bf57b592a7f8cfd66f5 (diff) | |
download | fluxbox-15f53b5556403a8301fc7be4512b6f8ce52ffa5d.zip fluxbox-15f53b5556403a8301fc7be4512b6f8ce52ffa5d.tar.bz2 |
fix minor rendering bug when growing tabs
Diffstat (limited to 'src')
-rw-r--r-- | src/FbWinFrame.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/FbWinFrame.cc b/src/FbWinFrame.cc index 1d9c862..736e049 100644 --- a/src/FbWinFrame.cc +++ b/src/FbWinFrame.cc | |||
@@ -345,7 +345,11 @@ void FbWinFrame::alignTabs() { | |||
345 | if (m_tabmode != EXTERNAL) | 345 | if (m_tabmode != EXTERNAL) |
346 | return; | 346 | return; |
347 | 347 | ||
348 | m_tab_container.setMaxSizePerClient(m_screen.getTabWidth()); | 348 | if (m_tab_container.maxWidthPerClient() != m_screen.getTabWidth()) { |
349 | m_tab_container.setMaxSizePerClient(m_screen.getTabWidth()); | ||
350 | renderTabContainer(); | ||
351 | applyTabContainer(); | ||
352 | } | ||
349 | 353 | ||
350 | int tabx = 0, taby = 0; | 354 | int tabx = 0, taby = 0; |
351 | switch (m_screen.getTabPlacement()) { | 355 | switch (m_screen.getTabPlacement()) { |