Commit Graph

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