Commit Graph

112 Commits

Author SHA1 Message Date
Philipp Kühn
23fbe99a5e fix build 2020-09-09 18:55:19 +02:00
Philipp Kühn
26ecc20a50 replace extensions 2020-09-08 23:44:45 +02:00
Philipp Kühn
9e1bb182db fix some types 2020-08-21 21:01:41 +02:00
Philipp Kühn
91d4aa7e39 improve type handling for commands 2020-04-21 23:22:27 +02:00
Philipp Kühn
b47f3f499b fix bug 2020-04-13 22:33:43 +02:00
Philipp Kühn
280730b261 add history option interface 2020-04-13 22:32:39 +02:00
Philipp Kühn
186654df5f add historyPluginOptions 2020-04-13 14:03:39 +02:00
Philipp Kühn
925215367d refactoring 2020-04-13 13:58:30 +02:00
Philipp Kühn
c27ebe8473 add commands to extension manager 2020-04-02 14:34:07 +02:00
Philipp Kühn
2ef2b09c0d add keys to history 2020-04-02 13:36:18 +02:00
Philipp Kühn
fd476901c4 add mark 2020-03-30 12:40:25 +02:00
Philipp Kühn
14421a11fa rename package folders 2020-03-30 10:42:59 +02:00