mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-03 22:25:57 +00:00
...
This commit is contained in:
parent
dd032db89c
commit
1a32e79470
1 changed files with 2 additions and 0 deletions
|
|
@ -303,6 +303,7 @@ def write_remote_control_protocol_docs() -> None: # {{{
|
|||
format_cmd(p, name, cmd)
|
||||
# }}}
|
||||
|
||||
|
||||
def replace_string(app: Any, docname: str, source: List[str]) -> None: # {{{
|
||||
src = source[0]
|
||||
for k, v in app.config.string_replacements.items():
|
||||
|
|
@ -312,6 +313,7 @@ def replace_string(app: Any, docname: str, source: List[str]) -> None: # {{{
|
|||
|
||||
# config file docs {{{
|
||||
|
||||
|
||||
class ConfLexer(RegexLexer): # type: ignore
|
||||
name = 'Conf'
|
||||
aliases = ['conf']
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue