Eugene Pankov
|
ab8061ab39
|
better new profile name handling - fixes #4325
|
2021-08-02 20:52:39 +02:00 |
|
Eugene Pankov
|
1fc57018e3
|
allow modifier-only hotkeys
|
2021-07-31 17:18:03 +02:00 |
|
Eugene Pankov
|
2f13f3a401
|
strongly typed partial profiles wip
|
2021-07-13 23:44:23 +02:00 |
|
Eugene Pankov
|
ca9f11484c
|
move terminal-tab to use .profile
|
2021-07-13 21:47:06 +02:00 |
|
Eugene Pankov
|
2706045cc2
|
tab context menu option to save split layouts as profiles - fixes #3468
|
2021-07-11 12:38:35 +02:00 |
|
Eugene Pankov
|
908f90cd52
|
automatically clean up defaults from the config file
|
2021-07-11 00:06:52 +02:00 |
|
Eugene Pankov
|
67bbbd7f65
|
allow renaming and replacing files in the vault - fixes #4110
|
2021-07-10 21:31:18 +02:00 |
|
Eugene Pankov
|
0008b2f022
|
preserve file modes for up- and downloads - fixes #4141
|
2021-07-10 20:39:45 +02:00 |
|
Eugene Pankov
|
827345d899
|
added a telnet client - fixes #760
|
2021-07-04 16:48:48 +02:00 |
|
Eugene Pankov
|
92b34fbc08
|
new profile system
|
2021-07-04 12:23:27 +02:00 |
|
Eugene Pankov
|
cb06a8e493
|
handle legacy plugins in plugin loader
|
2021-07-02 00:09:32 +02:00 |
|
Eugene Pankov
|
43cd3318da
|
project rename
|
2021-06-29 23:57:04 +02:00 |
|