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 |
|