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 #101616 from KoBeWi/how_was_it_even_functional
Rework script external modification tracking
This commit is contained in:
@@ -456,6 +456,7 @@ void ScriptTextEditor::convert_indent() {
|
||||
|
||||
void ScriptTextEditor::tag_saved_version() {
|
||||
code_editor->get_text_editor()->tag_saved_version();
|
||||
edited_file_data.last_modified_time = FileAccess::get_modified_time(edited_file_data.path);
|
||||
}
|
||||
|
||||
void ScriptTextEditor::goto_line(int p_line, int p_column) {
|
||||
|
||||
Reference in New Issue
Block a user