3 commits

Author	SHA1	Message	Date
Hugo Locurcio	7533778760	Improve checkboxes in the default editor theme	2018-09-16 15:12:28 +02:00
Daniel J. Ramirez	dbc37afcd9	Added and improved some icons, plus some other minor visual fixes.	2017-10-12 14:43:11 -05:00
Daniel J. Ramirez	c873661c30	Added pure vector theme, with dark icons variation	2017-08-20 13:53:09 -05:00