9 Commits

Author	SHA1	Message	Date
Bauke	1a53885993	Add the Gruvbox theme.	2022-02-07 12:00:57 +01:00
Bauke	ebfae2069d	Also include the defaults.	2022-02-01 12:04:59 +01:00
Bauke	f47b53b928	Add high contrast themes.	2022-01-29 14:21:03 +01:00
Bauke	ac9acff203	Add the Monokai theme.	2022-01-27 11:59:27 +01:00
Bauke	fb47a795ec	Add the Dracula theme.	2022-01-26 13:04:03 +01:00
Bauke	57f3b64958	Add the Solarized theme.	2022-01-25 11:43:41 +01:00
Bauke	bc02927d8b	Add the settings page with the theme selector (#3).	2022-01-15 20:31:51 +01:00
Bauke	11e436eca6	Add a basic search bar (#2).	2022-01-03 18:21:21 +01:00
Bauke	0da2dba96a	Big commit initial code.	2021-12-30 23:40:57 +01:00