|
ask
|
Allow copying hyperlink URL to clipboard
|
2020-09-15 13:23:31 +05:30 |
|
clipboard
|
more typing work
|
2020-03-12 08:10:51 +05:30 |
|
diff
|
Add support for placement id to GraphicsCommand
|
2020-12-02 05:35:57 +05:30 |
|
hints
|
Better window title when choosing tabs/OS windows
|
2020-11-21 14:58:08 +05:30 |
|
hyperlinked_grep
|
Also handle EOFError
|
2020-09-25 18:58:03 +05:30 |
|
key_demo
|
more typing work
|
2020-03-12 08:10:51 +05:30 |
|
resize_window
|
more typing work
|
2020-03-12 08:10:51 +05:30 |
|
show_error
|
more typing work
|
2020-03-12 08:10:51 +05:30 |
|
tui
|
Add support for placement id to GraphicsCommand
|
2020-12-02 05:35:57 +05:30 |
|
runner.py
|
more typing work
|
2020-03-12 08:10:51 +05:30 |