mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-17 14:04:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

Allow changing panel CLI defaults

Browse Source
This commit is contained in:
Kovid Goyal
2025-04-28 16:25:53 +05:30
parent e65031184a
commit 83bb1553f7
4 changed files with 15 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
kitty/simple_cli_definitions.py
View File

@@ -303,7 +303,7 @@ def generate_c_parsers() -> Iterator[str]:
yield from generate_c_parser_for('kitty', kitty_options_spec())
yield ''
yield ''
yield from generate_c_parser_for('panel_kitten', panel_kitten_options_spec())
yield from generate_c_parser_for('panel_kitten', build_panel_cli_spec({}))
yield ''
@@ -524,9 +524,8 @@ type=bool-set
# panel CLI spec {{{
def panel_kitten_options_spec() -> str:
if not hasattr(panel_kitten_options_spec, 'ans'):
OPTIONS = r'''
def build_panel_cli_spec(defaults: dict[str, str]) -> str:
return r'''
--lines
default=1
The number of lines shown in the panel. Ignored for background, centered, and vertical panels.
@@ -689,10 +688,7 @@ Path to a log file to store STDOUT/STDERR when using :option:`--detach`
--debug-rendering
type=bool-set
For internal debugging use.
'''
setattr(panel_kitten_options_spec, 'ans', OPTIONS.format(
appname=appname, listen_on_defn=listen_on_defn,
))
ans: str = getattr(panel_kitten_options_spec, 'ans')
return ans
'''.format(appname=appname, listen_on_defn=listen_on_defn, **defaults)
# }}}