mirror of
https://github.com/godotengine/godot.git
synced 2025-11-01 22:21:18 +00:00
fixes
This commit is contained in:
parent
6c4e1650fb
commit
5a4ef1c2cc
1 changed files with 2 additions and 1 deletions
|
|
@ -630,7 +630,7 @@ bool ScriptEditor::_test_script_times_on_disk() {
|
||||||
|
|
||||||
|
|
||||||
if (!all_ok)
|
if (!all_ok)
|
||||||
if (bool(EDITOR_DEF("text_editor/autoreload_changed_scripts",false)))
|
if (bool(EDITOR_DEF("text_editor/auto_reload_changed_scripts",false)))
|
||||||
script_editor->_reload_scripts();
|
script_editor->_reload_scripts();
|
||||||
else
|
else
|
||||||
disk_changed->call_deferred("popup_centered_ratio",0.5);
|
disk_changed->call_deferred("popup_centered_ratio",0.5);
|
||||||
|
|
@ -1805,6 +1805,7 @@ ScriptEditorPlugin::ScriptEditorPlugin(EditorNode *p_node) {
|
||||||
|
|
||||||
script_editor->hide();
|
script_editor->hide();
|
||||||
|
|
||||||
|
EDITOR_DEF("text_editor/auto_reload_changed_scripts",false);
|
||||||
EDITOR_DEF("external_editor/use_external_editor",false);
|
EDITOR_DEF("external_editor/use_external_editor",false);
|
||||||
EDITOR_DEF("external_editor/exec_path","");
|
EDITOR_DEF("external_editor/exec_path","");
|
||||||
EditorSettings::get_singleton()->add_property_hint(PropertyInfo(Variant::STRING,"external_editor/exec_path",PROPERTY_HINT_GLOBAL_FILE));
|
EditorSettings::get_singleton()->add_property_hint(PropertyInfo(Variant::STRING,"external_editor/exec_path",PROPERTY_HINT_GLOBAL_FILE));
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue