diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-14 12:38:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-14 12:38:04 +0100 |
| commit | f244772028f6a53aea828da799039b5dd8d77aec (patch) | |
| tree | 0c272e6317c44ea34bedda4a38bf250fa585dace /servers/visual/visual_server_viewport.h | |
| parent | 41634199c8dcaa8b72586933038acf48919ddcc0 (diff) | |
| parent | 0ec76d40b45d220bcc5d0cdff07f1278c7409f22 (diff) | |
Merge pull request #33617 from Chaosus/fix_theme_element2
Fix incorrect error/matches label color when switching from light to dark theme
Diffstat (limited to 'servers/visual/visual_server_viewport.h')
0 files changed, 0 insertions, 0 deletions