diff options
| author | Poommetee Ketson <poommetee@protonmail.com> | 2017-09-17 08:55:13 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-17 08:55:13 +0700 |
| commit | d8ca7d44059472344a7e14346feae8e478486d3c (patch) | |
| tree | 0a665877fe46612c1b214e78e87fa52d00162ec5 /editor/property_editor.h | |
| parent | 69f0d3b663321c4436e78efea224f8cd8008392b (diff) | |
| parent | ba11dc3f483e665ac3fd7b7decc5eb6f1c82baa2 (diff) | |
Merge pull request #11282 from djrm/pr_script_editor_auto_theme
Added adaptive text editor theme
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions