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

more typing work

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-09 16:13:00 +05:30
parent c817ba9eae
commit ac2c21e046
14 changed files with 143 additions and 88 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
docs/conf.py
View File

@@ -445,10 +445,10 @@ def parse_shortcut_node(env, sig, signode):
def render_conf(conf_name, all_options):
from kitty.conf.definition import merged_opts, Option
from kitty.conf.definition import merged_opts, Option, Group
ans = ['.. default-domain:: conf', '']
a = ans.append
current_group = None
current_group: Optional[Group] = None
all_options = list(all_options)
kitty_mod = 'kitty_mod'
@@ -466,6 +466,7 @@ def render_conf(conf_name, all_options):
def handle_group_end(group):
if group.end_text:
assert current_group is not None
a(''), a(current_group.end_text)
def handle_group(new_group, new_group_is_shortcut=False):