19 Commits

Author	SHA1	Message	Date
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