Jefferson GonzálezandGitHub e4bef5c5b6 Merge pull request #1080 from jgmdev/PR/fix-commandview-caret ...

CommandView: do not change caret size with config.line_height

2022-07-17 12:29:52 -04:00

..

colors

style: move default colors to its own style file

2022-06-02 19:20:54 -04:00

core

Merge pull request #1080 from jgmdev/PR/fix-commandview-caret

2022-07-17 12:29:52 -04:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

drawwhitespace: Invalidate cache on indent size change

2022-07-15 06:54:03 +02:00