KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'add-comment' of https://github.com/Luflosi/kitty into master

Browse Source
This commit is contained in:
Kovid Goyal 2020-10-04 21:01:12 +05:30
commit dba1f3bcbc
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/boss.py
View File

@ -1563,6 +1563,7 @@ class Boss:
for os_window_id in os_windows: for os_window_id in os_windows:
self.default_bg_changed_for(os_window_id) self.default_bg_changed_for(os_window_id)
# Can be called with kitty -o "map f1 send_test_notification"
def send_test_notification(self) -> None: def send_test_notification(self) -> None:
from time import monotonic from time import monotonic