diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-21 08:20:09 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-21 08:20:09 +0200 |
| commit | f80148e3d11f4ec323526598f64bcb8658bad2ef (patch) | |
| tree | 7fb7bb079d967aa9a2e7875b8c68bcfe5aa53ac8 /modules/openxr/extensions/openxr_opengl_extension.h | |
| parent | aa8ff21b2a37e6235b7024e5b2804219337a7e74 (diff) | |
[Editor] Fix reloading editor theme on font / font size setting change.
Diffstat (limited to 'modules/openxr/extensions/openxr_opengl_extension.h')
0 files changed, 0 insertions, 0 deletions