mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 22:28:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Ensure the extended keyboard protocol key encoding is stable

Browse Source 
Also use base85 instead of base64 for keyname encoding to reduce average
length
This commit is contained in:
Kovid Goyal
2017-02-11 10:41:04 +05:30
parent 211b771316
commit a66d2b0890
7 changed files with 286 additions and 102 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
preprocess-readme.py
View File

@@ -37,7 +37,7 @@ if raw != nraw:
raw = subprocess.check_output([
'kitty', '-c',
'from kitty.keys import *; import json; print(json.dumps(generate_key_extended_map(True)))'
'from kitty.key_encoding import *; import json; print(json.dumps(ENCODING))'
]).decode('utf-8')
key_map = json.loads(raw)
lines = [
@@ -45,7 +45,7 @@ lines = [
'', '|===', '| Name | Encoded representation (base64)', ''
]
for k in sorted(key_map):
lines.append('| {:15s} | `{}`'.format(k.replace('_', ' '), key_map[k]))
lines.append('| {:15s} | `{}`'.format(k.replace('_', ' '), key_map[k].replace('`', '\\`')))
lines += ['', '|===']
with open('key_encoding.asciidoc', 'w') as f:
print('= Key encoding for extended keyboard protocol\n', file=f)