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

More conf docs

Browse Source 
Add a 🔗 role that works nicely in both contexts
This commit is contained in:
Kovid Goyal
2018-06-04 14:43:34 +05:30
parent c63c3d2844
commit b98fca972f
4 changed files with 54 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/conf/definition.py
View File

@@ -85,7 +85,7 @@ def merged_opts(all_options, opt, i):
def remove_markup(text):
return re.sub(r':(.+?):`(.+?)`', r'\2', text, flags=re.DOTALL)
return re.sub(r':([a-zA-Z0-9]+):`(.+?)`', r'\2', text, flags=re.DOTALL)
def render_block(text):