You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
committed by
Rémi Verschelde
parent
76ab82526a
commit
b8f2f48d86
@@ -422,9 +422,6 @@ GDScriptTextDocument::~GDScriptTextDocument() {
|
|||||||
|
|
||||||
void GDScriptTextDocument::sync_script_content(const String &p_path, const String &p_content) {
|
void GDScriptTextDocument::sync_script_content(const String &p_path, const String &p_content) {
|
||||||
String path = GDScriptLanguageProtocol::get_singleton()->get_workspace()->get_file_path(p_path);
|
String path = GDScriptLanguageProtocol::get_singleton()->get_workspace()->get_file_path(p_path);
|
||||||
if (!path.begins_with("res://")) {
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
GDScriptLanguageProtocol::get_singleton()->get_workspace()->parse_script(path, p_content);
|
GDScriptLanguageProtocol::get_singleton()->get_workspace()->parse_script(path, p_content);
|
||||||
|
|
||||||
EditorFileSystem::get_singleton()->update_file(path);
|
EditorFileSystem::get_singleton()->update_file(path);
|
||||||
|
|||||||
Reference in New Issue
Block a user