5 Commits

Author	SHA1	Message	Date
shadow-light	4fdeb944a2	Make drop cursor default to regular caret color ... Currently drop cursor defaults to black rather than the text color, which is what normal carets default to. Using `currentcolor` should provide a better default value.	2021-06-10 09:56:06 +10:00
Philipp Kühn	215c26748b	improve options interface	2021-02-10 18:25:08 +01:00
Philipp Kühn	290ff76e37	add Commands interface	2021-02-10 09:59:35 +01:00
Florian Wiech	4142637921	refactor: recreate extension exports	2020-12-07 21:32:50 +01:00
Florian Wiech	11de3a287f	refactor: restructure extensions	2020-12-07 21:09:02 +01:00