diff --git a/gui/chrome_tabs.py b/gui/chrome_tabs.py index d2c18c25b..614599700 100644 --- a/gui/chrome_tabs.py +++ b/gui/chrome_tabs.py @@ -367,7 +367,7 @@ class _TabRenderer: width = max(width, self.min_width) height = max(height, self.min_height) - self.disabled = False + self._disabled = False self.baseText = text self.extraText = '' self.tab_size = (width, height) @@ -383,6 +383,18 @@ class _TabRenderer: self.position = (0, 0) # Not used internally for rendering - helper for tab container self.InitTab() + @property + def disabled(self): + return self._disabled + + @disabled.setter + def disabled(self, value): + if value == self._disabled: # Avoid unnecessary re-rendering + return + + self._disabled = value + self._Render() + @property def text(self): return self.baseText + self.extraText