diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-22 03:42:51 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-22 03:45:01 +0200 |
| commit | 0d27c4d809bc50741e7bee8b7536bde87048f966 (patch) | |
| tree | 07b9544774d868877c71a75b5c6b4eb919b3ea68 /editor/plugins/font_editor_plugin.h | |
| parent | 3b3a55ca04331e85cc24ac315b60e7ad4aeb17df (diff) | |
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.
Diffstat (limited to 'editor/plugins/font_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions