diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 22:01:20 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 22:01:20 +0100 |
| commit | b601f7959b359425094009d22e408b2283ba5bbf (patch) | |
| tree | b8218d8f99a389618a46b80b7fc91d1eb0d1fe84 /editor/plugins/shader_editor_plugin.h | |
| parent | c7d5596955d817db26284fa53c43a35a18e50ba0 (diff) | |
| parent | dd6ac955c3408cef4436829e97aa1c22bf66f9ca (diff) | |
Merge pull request #73106 from YuriSizov/editor-help-theming-2000
Improve EditorHelp theming and make font size settings work
Diffstat (limited to 'editor/plugins/shader_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions