Jefferson GonzálezandGitHub 041456cf38 Merge pull request #1059 from Guldoman/PR_no_indent_empty_lines ...

Don't indent empty lines in a selection

2022-07-05 17:52:17 -04:00

..

colors

style: move default colors to its own style file

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

core

Don't indent empty lines in a selection

2022-06-25 03:32:47 +02:00

fonts

Use FiraSans regular for UI

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

plugins

language_python: add syntax support for match-case statement

2022-07-03 15:15:51 +02:00