KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'must_draw_borders_flag' of https://github.com/franco/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2020-04-11 21:19:52 +05:30
commit b4f24e4e1e
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/layout.py
View File

@ -208,6 +208,7 @@ class Layout: # {{{
name: Optional[str] = None name: Optional[str] = None
needs_window_borders = True needs_window_borders = True
must_draw_borders = False
needs_all_windows = False needs_all_windows = False
layout_opts = LayoutOpts({}) layout_opts = LayoutOpts({})
only_active_window_visible = False only_active_window_visible = False

2
kitty/tabs.py
View File

@ -231,7 +231,7 @@ class Tab: # {{{
windows=visible_windows, active_window=w, windows=visible_windows, active_window=w,
current_layout=self.current_layout, extra_blank_rects=tm.blank_rects, current_layout=self.current_layout, extra_blank_rects=tm.blank_rects,
padding_width=self.padding_width, border_width=self.border_width, padding_width=self.padding_width, border_width=self.border_width,
draw_window_borders=self.current_layout.needs_window_borders and len(visible_windows) > 1 draw_window_borders=self.current_layout.needs_window_borders and len(visible_windows) > 1 or self.current_layout.must_draw_borders
) )
if w is not None: if w is not None:
w.change_titlebar_color() w.change_titlebar_color()