diff options
| author | Paulb23 | 2016-04-29 12:39:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2016-04-29 18:02:19 +0200 |
| commit | 4228505cf0a07cfad9c291d7fda201ea4085aa5d (patch) | |
| tree | 287c36cbf0c91a48cc66b6d189d5d94481b4910a /tools/editor/plugins/shader_editor_plugin.h | |
| parent | 9086a929b2128b74385e9b414a8c32b0839424b3 (diff) | |
| download | godot-4228505cf0a07cfad9c291d7fda201ea4085aa5d.tar.gz godot-4228505cf0a07cfad9c291d7fda201ea4085aa5d.tar.zst godot-4228505cf0a07cfad9c291d7fda201ea4085aa5d.zip | |
Shader editor now uses text editor settings
(cherry picked from commit 64751e0a75eae68eb90ce810a7b79b51b36f3c1f)
Diffstat (limited to 'tools/editor/plugins/shader_editor_plugin.h')
| -rw-r--r-- | tools/editor/plugins/shader_editor_plugin.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/plugins/shader_editor_plugin.h b/tools/editor/plugins/shader_editor_plugin.h index 26d20b80b..e10c10a44 100644 --- a/tools/editor/plugins/shader_editor_plugin.h +++ b/tools/editor/plugins/shader_editor_plugin.h @@ -105,7 +105,7 @@ class ShaderEditor : public Control { void _close_callback(); - + void _editor_settings_changed(); protected: void _notification(int p_what); |
