mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-28 03:01:57 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix mypy error: remove invalid 'none' check on window_title_bar option

Browse Source
This commit is contained in:
mcrmck
2026-03-17 23:36:03 -04:00
parent 49f6c926e0
commit 39820e79ff
1 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
kitty/tabs.py
View File

@@ -1828,14 +1828,13 @@ class TabManager: # {{{
set_window_being_dragged() set_window_being_dragged()
return return
opts = get_options() opts = get_options()
if opts.window_title_bar != 'none': min_w = opts.window_title_bar_min_windows
min_w = opts.window_title_bar_min_windows for tm in boss.all_tab_managers:
for tm in boss.all_tab_managers: for t in tm:
for t in tm: visible = sum(1 for _ in t.windows.iter_all_layoutable_groups(only_visible=True))
visible = sum(1 for _ in t.windows.iter_all_layoutable_groups(only_visible=True)) if not (min_w > 0 and visible >= min_w):
if not (min_w > 0 and visible >= min_w): t.force_show_title_bars = True
t.force_show_title_bars = True t.relayout()
t.relayout()
title = str(w.title or '') title = str(w.title or '')
fg = color_as_int(opts.window_title_bar_active_foreground or opts.active_tab_foreground) fg = color_as_int(opts.window_title_bar_active_foreground or opts.active_tab_foreground)
bg = color_as_int(opts.window_title_bar_active_background or opts.active_tab_background) bg = color_as_int(opts.window_title_bar_active_background or opts.active_tab_background)