AdamandGitHub b278306fc9 Changed deindent, so that if the deindent runs into an unusual line with a partial indent at the front, it'll still de-indent that. (#193)

2021-05-19 22:41:28 +02:00

..

colors

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

core

Changed deindent, so that if the deindent runs into an unusual line with a partial indent at the front, it'll still de-indent that. (#193)

2021-05-19 22:41:28 +02:00

fonts

Implement maximize/restore controls

2021-04-12 11:54:52 +02:00

plugins

support for multiple groups in one pattern (#196)

2021-05-19 22:35:28 +02:00

user

Fix font size in initial user's config

2021-03-01 09:48:12 +01:00