5 commits

Author	SHA1	Message	Date
Hugo Locurcio	c164c07e85	Tweak pressed CheckBox appearance in the editor ... This uses the accent color to match pressed CheckButtons after they were updated. Checked checkboxes are now more prominent in the user's peripheral vision, which can be useful at times. This also matches how checkboxes look in most operating systems and web browsers. (cherry picked from commit 0d27c4d809)	2021-05-22 18:37:56 +02:00
Rémi Verschelde	eda03831d6	Style: Add missing newlines to SVGs	2020-07-24 10:39:18 +02:00
Hugo Locurcio	7533778760	Improve checkboxes in the default editor theme	2018-09-16 15:12:28 +02:00
Daniel J. Ramirez	00755ff2c0	Visual tweaks. ... Updated icons Updated some color	2017-09-20 19:29:52 -05:00
Daniel J. Ramirez	c873661c30	Added pure vector theme, with dark icons variation	2017-08-20 13:53:09 -05:00