AdamandGitHub 6e08c3321c Fixed a bug where if detectindent is paired with another plugin that hooks the event, it'll overwrite the other plugin's functions. (#190)

2021-05-17 10:05:08 +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

Unified open and saving style. (#189)

2021-05-17 09:29:51 +02:00

fonts

Implement maximize/restore controls

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

plugins

Fixed a bug where if detectindent is paired with another plugin that hooks the event, it'll overwrite the other plugin's functions. (#190)

2021-05-17 10:05:08 +02:00

user

Fix font size in initial user's config

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