Update toolwindowmanager to f86518a

2026-09-22 05:35:48 +00:00 · 2017-05-30 12:39:01 +01:00
parent 3ab7510c7f
commit d4ac0118ce
6 changed files with 69 additions and 41 deletions
@@ -301,6 +301,14 @@ void ToolWindowManagerArea::check_mouse_move() {
  }
 }

+bool ToolWindowManagerArea::useMinimalTabBar() {
+  QWidget *w = widget(0);
+  if (w == NULL)
+    return false;
+
+  return (m_manager->toolWindowProperties(w) & ToolWindowManager::AlwaysDisplayFullTabs) == 0;
+}
+
 void ToolWindowManagerArea::tabMoved(int from, int to) {
  if(m_inTabMoved) return;