Philipp Kühn
|
4b046d7034
|
remove unused code
|
2020-10-26 22:41:20 +01: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
|
617cdd4d99
|
fix more linting issues
|
2020-09-24 00:37:31 +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
|
47df54a31d
|
refactoring
|
2020-09-10 11:20:30 +02:00 |
|
Philipp Kühn
|
ba744cf6d8
|
remove verbal expressions
|
2020-09-09 18:47:47 +02:00 |
|
Philipp Kühn
|
2ff134274e
|
resolve all configs
|
2020-09-09 18:07:17 +02:00 |
|
Philipp Kühn
|
f9bd8158cf
|
remove log
|
2020-09-09 16:51:58 +02:00 |
|
Philipp Kühn
|
f56fae49a1
|
fix type issue
|
2020-09-09 12:57:50 +02:00 |
|
Philipp Kühn
|
22109170b3
|
fix a bug
|
2020-09-09 11:23:24 +02:00 |
|
Philipp Kühn
|
26ecc20a50
|
replace extensions
|
2020-09-08 23:44:45 +02:00 |
|
Philipp Kühn
|
4e6404a404
|
add toggleMark command
|
2020-04-22 14:06:15 +02:00 |
|
Philipp Kühn
|
91d4aa7e39
|
improve type handling for commands
|
2020-04-21 23:22:27 +02:00 |
|
Philipp Kühn
|
ca16a31e75
|
revert some magic
|
2020-04-13 12:27:29 +02:00 |
|
Philipp Kühn
|
e03d108423
|
add shortform to keys
|
2020-04-13 00:16:12 +02:00 |
|
Philipp Kühn
|
56beb707ab
|
refactoring
|
2020-04-12 23:42:51 +02:00 |
|
Philipp Kühn
|
bd4fe7e5e3
|
rename some vars
|
2020-04-10 22:07:27 +02:00 |
|
Philipp Kühn
|
c27ebe8473
|
add commands to extension manager
|
2020-04-02 14:34:07 +02:00 |
|
Philipp Kühn
|
434d77a664
|
add verbal expressions
|
2020-04-02 12:41:52 +02:00 |
|
Philipp Kühn
|
28d5ae094b
|
add basic inputrules and pasterules
|
2020-04-02 08:53:59 +02:00 |
|
Philipp Kühn
|
c60ad0f107
|
improve schema types
|
2020-03-31 22:57:39 +02:00 |
|
Philipp Kühn
|
208ba890ef
|
add extension keymaps
|
2020-03-31 22:17:54 +02:00 |
|
Philipp Kühn
|
fc5fe7a8ba
|
add bold button
|
2020-03-30 12:43:41 +02:00 |
|
Philipp Kühn
|
fd476901c4
|
add mark
|
2020-03-30 12:40:25 +02:00 |
|