Relintai 27920ca1a7 Make sure that the script editor is the 3rd tab. I implemented the simplest solution I could think for now. If more control is needed in the future, EditorPlugins will likely need a priority queue (or some different, more generic solution).		2023-03-19 11:02:20 +01:00
..
doc_classes
config.py
editor_code_text_editor.cpp
editor_code_text_editor.h
editor_connection_info_dialog.cpp
editor_connection_info_dialog.h
editor_find_replace_bar.cpp
editor_find_replace_bar.h
editor_goto_line_dialog.cpp
editor_goto_line_dialog.h
editor_script_editor_base.cpp
editor_script_editor_base.h
editor_script_editor_quick_open.cpp
editor_script_editor_quick_open.h
editor_script_editor.cpp
editor_script_editor.h
editor_script_text_editor.cpp
editor_script_text_editor.h
editor_syntax_highlighter.cpp
editor_syntax_highlighter.h
editor_text_editor.cpp
editor_text_editor.h
register_types.cpp
register_types.h
script_editor_plugin.cpp
script_editor_plugin.h
SCsub