Commit Graph

23 Commits

Author SHA1 Message Date
Philipp Kühn
d3b4e7a1d4 fix build for now 2020-11-10 16:29:31 +01:00
Philipp Kühn
7d121eb39a improve build script 2020-11-10 09:21:47 +01:00
Philipp Kühn
fd298b645b add core extensions 2020-10-23 10:44:30 +02:00
Philipp Kühn
6746163dda add AllExtensions interface 2020-10-22 22:40:40 +02:00
Philipp Kühn
79172753ef add new syntax to all extensions 2020-10-22 12:34:49 +02:00
Philipp Kühn
54bbd8a861 refactoring 2020-09-27 21:29:51 +02:00
Hans Pagel
e536087cb2 flatten history plugin options 2020-09-27 10:52:09 +02:00
Philipp Kühn
21c82c2cfa improve eslint config 2020-09-25 13:52:17 +02:00
Philipp Kühn
ac33eb483e fix more linting errors 2020-09-24 00:29:05 +02:00
Philipp Kühn
119fdd0dff improve command handling 2020-09-22 10:49:38 +02:00
Philipp Kühn
4da71ecfbb add some more commands 2020-09-21 23:17:30 +02:00
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