mirror of
https://github.com/godotengine/godot.git
synced 2025-10-31 21:51:22 +00:00
Unify Scripts Panel naming for the script and shader editors
Both use the same shortcut and action, so it makes sense to call it a Files panel as opposed to a Scripts panel.
This commit is contained in:
parent
4248411baf
commit
e8eeccebcb
15 changed files with 97 additions and 97 deletions
|
|
@ -1227,8 +1227,8 @@ String ScriptTextEditor::_get_absolute_path(const String &rel_path) {
|
|||
return path.replace("///", "//").simplify_path();
|
||||
}
|
||||
|
||||
void ScriptTextEditor::update_toggle_scripts_button() {
|
||||
code_editor->update_toggle_scripts_button();
|
||||
void ScriptTextEditor::update_toggle_files_button() {
|
||||
code_editor->update_toggle_files_button();
|
||||
}
|
||||
|
||||
void ScriptTextEditor::_update_connected_methods() {
|
||||
|
|
@ -2382,7 +2382,7 @@ void ScriptTextEditor::_enable_code_editor() {
|
|||
code_editor->get_text_editor()->connect("gutter_removed", callable_mp(this, &ScriptTextEditor::_update_gutter_indexes));
|
||||
code_editor->get_text_editor()->connect("gutter_clicked", callable_mp(this, &ScriptTextEditor::_gutter_clicked));
|
||||
code_editor->get_text_editor()->connect(SceneStringName(gui_input), callable_mp(this, &ScriptTextEditor::_text_edit_gui_input));
|
||||
code_editor->show_toggle_scripts_button();
|
||||
code_editor->show_toggle_files_button();
|
||||
_update_gutter_indexes();
|
||||
|
||||
editor_box->add_child(warnings_panel);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue