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

...

Browse Source
This commit is contained in:
Kovid Goyal
2024-06-22 11:33:22 +05:30
parent da582b5622
commit 656d2179c9
2 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/fonts/__init__.py
View File

@@ -200,9 +200,7 @@ class FontSpec(NamedTuple):
def __str__(self) -> str:
return self.as_setting
def __repr__(self) -> str:
return repr(str(self))
# Cannot change __repr__ as it will break config generation
Descriptor = Union[FontConfigPattern, CoreTextFont]

5
kitty/options/parse.py generated
View File

@@ -17,8 +17,9 @@ from kitty.options.utils import (
paste_actions, remote_control_password, resize_debounce_time, scrollback_lines,
scrollback_pager_history_size, shell_integration, store_multiple, symbol_map, tab_activity_symbol,
tab_bar_edge, tab_bar_margin_height, tab_bar_min_tabs, tab_fade, tab_font_style, tab_separator,
tab_title_template, titlebar_color, to_cursor_shape, to_font_size, to_layout_names, to_modifiers,
url_prefixes, url_style, visual_window_select_characters, window_border_width, window_size, window_logo_scale
tab_title_template, titlebar_color, to_cursor_shape, to_cursor_unfocused_shape, to_font_size,
to_layout_names, to_modifiers, url_prefixes, url_style, visual_window_select_characters,
window_border_width, window_logo_scale, window_size
)