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

kitty shell: show the previously active window id

Browse Source
This commit is contained in:
Kovid Goyal
2020-05-24 16:40:10 +05:30
parent d8896eb210
commit 0d704f3715
2 changed files with 16 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/shell.py
View File

@@ -162,6 +162,9 @@ def real_main(global_opts: RCOptions) -> None:
print_help_for_seq.allow_pager = False
print('Welcome to the kitty shell!')
print('Use {} for assistance or {} to quit'.format(green('help'), green('exit')))
awid = os.environ.pop('KITTY_SHELL_ACTIVE_WINDOW_ID', None)
if awid is not None:
print('The ID of the previously active window is: {}'.format(awid))
while True:
try: