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/editor_fonts.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/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions