Update toolwindowmanager to 986c8e4881ff9e615c5f8c71347f9137c13fadfa

This commit is contained in:
baldurk
2018-02-18 21:54:59 +00:00
parent 9a6a45ca48
commit 40ed57c61a
@@ -37,7 +37,10 @@ static void showCloseButton(QTabBar *bar, int index, bool show)
button = bar->tabButton(index, QTabBar::LeftSide);
if(button)
button->resize(show ? QSize(16, 16) : QSize(0, 0));
{
button->resize(show ? QSize(16, 16) : QSize(1, 1));
button->setVisible(show);
}
}
ToolWindowManagerArea::ToolWindowManagerArea(ToolWindowManager *manager, QWidget *parent)
@@ -106,15 +109,9 @@ void ToolWindowManagerArea::updateToolWindow(QWidget *toolWindow)
{
ToolWindowManagerTabBar *tb = static_cast<ToolWindowManagerTabBar *>(tabBar());
if(m_manager->toolWindowProperties(toolWindow) & ToolWindowManager::HideCloseButton)
{
tb->setTabsClosable(false);
showCloseButton(tabBar(), index, false);
}
else
{
tb->setTabsClosable(true);
showCloseButton(tabBar(), index, true);
}
tabBar()->setTabText(index, toolWindow->windowTitle());
}
}