diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-25 14:54:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-25 14:54:27 +0200 |
| commit | 4c74f50d1adfea1ebba208b980fe85018a8bfa1c (patch) | |
| tree | bc1303a2767d099eca9e39e6503d0c911026cb13 /editor/plugin_config_dialog.h | |
| parent | 27d1e63dd461d6a61c2ef4f784e14ad7b9dfdc24 (diff) | |
| parent | 17901da1a8a3f8351524db9b415459c17a00c1eb (diff) | |
Merge pull request #30351 from bojidar-bg/30288-override-global-theme
Keep track of default theme and project custom default theme seperatelly
Diffstat (limited to 'editor/plugin_config_dialog.h')
0 files changed, 0 insertions, 0 deletions