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

Fix #4117

Browse Source
This commit is contained in:
Kovid Goyal
2021-10-14 14:31:11 +05:30
parent ed5accd702
commit a653233050
3 changed files with 22 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kitty/shell.py
View File

@@ -172,13 +172,14 @@ def real_main(global_opts: RCOptions) -> None:
print('The ID of the previously active window is: {}'.format(awid))
pre_prompt = set_window_title('The kitty shell') + set_cursor_shape('bar')
pre_prompt += '\x1b]133;A\x1b\\'
pre_prompt += '\x1b]133;A;does_not_redraw_prompts\x1b\\'
while True:
try:
print(end=pre_prompt)
try:
scmdline = input(f'{pre_prompt}{kitty_face} ')
scmdline = input(f'{kitty_face} ')
except UnicodeEncodeError:
scmdline = input('{pre_prompt}kitty> ')
scmdline = input('kitty> ')
except EOFError:
break
except KeyboardInterrupt: