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

Merge branch 'doc/mapping_shortcuts' of https://github.com/MagicDuck/kitty

Browse Source
This commit is contained in:
Kovid Goyal
2019-07-29 09:13:16 +05:30
parent e634350e77 cdb472cb56
commit 3a5baf2722
3 changed files with 33 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
docs/conf.py
View File

@@ -525,9 +525,12 @@ def process_shortcut_link(env, refnode, has_explicit_title, title, target):
conf_name, slug = 'kitty', conf_name
full_name = conf_name + '.' + slug
try:
target, title = shortcut_slugs[full_name]
target, stitle = shortcut_slugs[full_name]
except KeyError:
logger.warning('Unknown shortcut: {}'.format(target), location=refnode)
else:
if not has_explicit_title:
title = stitle
return title, target