mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-28 04:13:44 +00:00
More conf docs
This commit is contained in:
parent
1168687923
commit
4c636fdeca
3 changed files with 39 additions and 5 deletions
|
|
@ -373,6 +373,7 @@ def render_conf(conf_name, all_options):
|
|||
kitty_mod = 'kitty_mod'
|
||||
|
||||
def render_group(group):
|
||||
a('')
|
||||
a(group.short_text)
|
||||
heading_level = '+' if '.' in group.name else '^'
|
||||
a(heading_level * (len(group.short_text) + 20))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue