You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
Merge pull request #94787 from jsjtxietian/gdinc_-
Update shader list after saving `gdshaderinc` file
This commit is contained in:
@@ -412,7 +412,7 @@ void ShaderEditorPlugin::_close_builtin_shaders_from_scene(const String &p_scene
|
|||||||
void ShaderEditorPlugin::_resource_saved(Object *obj) {
|
void ShaderEditorPlugin::_resource_saved(Object *obj) {
|
||||||
// May have been renamed on save.
|
// May have been renamed on save.
|
||||||
for (EditedShader &edited_shader : edited_shaders) {
|
for (EditedShader &edited_shader : edited_shaders) {
|
||||||
if (edited_shader.shader.ptr() == obj) {
|
if (edited_shader.shader.ptr() == obj || edited_shader.shader_inc.ptr() == obj) {
|
||||||
_update_shader_list();
|
_update_shader_list();
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user