diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-29 10:34:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-29 10:34:45 +0100 |
commit | f7b6d41fe7e4b4eeedae6e639397fc56268cb769 (patch) | |
tree | cb52916a70d351599b811e3400a71e66f9fc79dc /editor/editor_plugin.h | |
parent | b947e758237ac43be52523bad69f94b5d8136e1a (diff) | |
parent | 45fe9f184564ea5bfcd7a3a7f51673a5eaabef50 (diff) |
Merge pull request #23353 from Chaosus/update_vscript_theme
Updates visualscript editor when theme is changed
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions