Jefferson GonzálezandGitHub 86d45458f8 Merge pull request #1070 from Guldoman/PR_get_selections_swap_return ...

Make `Doc:get_selection[s]` return if the selection was actually sorted

2022-07-13 11:13:43 -04:00

..

colors

style: move default colors to its own style file

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

core

Merge pull request #1070 from Guldoman/PR_get_selections_swap_return

2022-07-13 11:13:43 -04:00

fonts

Use FiraSans regular for UI

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

plugins

language_python: Add new patterns (#1074)

2022-07-13 11:06:42 -04:00