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

Update type signatures generated by gen/config.py

Browse Source
This commit is contained in:
Kovid Goyal
2025-02-11 22:22:57 +05:30
parent c7fb942c4c
commit fb54f1527f
4 changed files with 21 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/options/parse.py generated
View File

@@ -2,6 +2,7 @@
# isort: skip_file
import typing
import collections.abc # noqa: F401, RUF100
from kitty.conf.utils import (
merge_dicts, positive_float, positive_int, python_string, to_bool, to_cmdline, to_color,
to_color_or_none, unit_float

7
kitty/options/types.py generated
View File

@@ -2,6 +2,7 @@
# isort: skip_file
import typing
import collections.abc # noqa: F401, RUF100
from array import array
from kitty.constants import is_macos
import kitty.constants
@@ -597,7 +598,7 @@ class Options:
tab_activity_symbol: str = ''
tab_bar_align: choices_for_tab_bar_align = 'left'
tab_bar_background: kitty.fast_data_types.Color | None = None
tab_bar_edge: int = 3
tab_bar_edge: int = 8
tab_bar_margin_color: kitty.fast_data_types.Color | None = None
tab_bar_margin_height: TabBarMarginHeight = TabBarMarginHeight(outer=0, inner=0)
tab_bar_margin_width: float = 0
@@ -649,7 +650,7 @@ class Options:
menu_map: dict[tuple[str, ...], str] = {}
modify_font: dict[str, kitty.fonts.FontModification] = {}
narrow_symbols: dict[tuple[int, int], int] = {}
remote_control_password: dict[str, typing.Sequence[str]] = {}
remote_control_password: dict[str, collections.abc.Sequence[str]] = {}
symbol_map: dict[tuple[int, int], str] = {}
watcher: dict[str, str] = {}
map: list[kitty.options.utils.KeyDefinition] = []
@@ -1056,4 +1057,4 @@ nullable_colors = frozenset({
})
secret_options = ('remote_control_password', 'file_transfer_confirmation_bypass')
secret_options = ('remote_control_password', 'file_transfer_confirmation_bypass')