plugins
|
add "Insert Terminal Name" to the group menu
|
2022-11-20 13:42:20 -05:00 |
configjson.py
|
set default profile from the json file
|
2020-09-24 15:19:58 +03:00 |
debugserver.py
|
fix io errors on debugserver
|
2020-06-01 20:11:03 -04:00 |
editablelabel.py
|
Fix typos
|
2022-10-22 00:07:07 +08:00 |
plugin.py
|
Remove duplicated info in some debug messages
|
2022-01-28 21:51:54 +01:00 |
prefseditor.py
|
Merge pull request #709 from KKoovalsky/master
|
2023-03-01 16:45:25 -05:00 |
terminal.py
|
fix drag and drop
|
2023-03-22 17:43:04 -04:00 |