Guldoman ec0e3018a8 `findreplace`: Sort last searches		2022-06-23 05:16:47 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	`findreplace`: Sort last searches	2022-06-23 05:16:47 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	language_html: Improve subsyntax highlighting (#1043)	2022-06-22 22:56:41 -04:00