|
plugins
|
scratchpads: add the "lazy" option (closes #5)
|
2023-07-12 19:59:17 +02:00 |
|
__init__.py
|
v 1.0
|
2023-04-27 21:14:27 +02:00 |
|
command.py
|
add a demo video for expose
|
2023-05-16 21:06:05 +02:00 |
|
common.py
|
get rid of stale code
|
2023-05-16 21:37:37 +02:00 |
|
ipc.py
|
ipc: more flexible batch commands
|
2023-04-28 12:09:49 +02:00 |
