mirror of
https://github.com/godotengine/godot.git
synced 2025-11-09 10:01:15 +00:00
Overhaul multiple caret editing in TextEdit.
Use a multicaret edit to delay merging overlapping carets until the end.
This commit is contained in:
parent
154f727c7a
commit
773a473807
17 changed files with 7562 additions and 2706 deletions
|
|
@ -650,10 +650,10 @@ void TextShaderEditor::_menu_option(int p_option) {
|
|||
code_editor->get_text_editor()->select_all();
|
||||
} break;
|
||||
case EDIT_MOVE_LINE_UP: {
|
||||
code_editor->move_lines_up();
|
||||
code_editor->get_text_editor()->move_lines_up();
|
||||
} break;
|
||||
case EDIT_MOVE_LINE_DOWN: {
|
||||
code_editor->move_lines_down();
|
||||
code_editor->get_text_editor()->move_lines_down();
|
||||
} break;
|
||||
case EDIT_INDENT: {
|
||||
if (shader.is_null() && shader_inc.is_null()) {
|
||||
|
|
@ -668,10 +668,10 @@ void TextShaderEditor::_menu_option(int p_option) {
|
|||
code_editor->get_text_editor()->unindent_lines();
|
||||
} break;
|
||||
case EDIT_DELETE_LINE: {
|
||||
code_editor->delete_lines();
|
||||
code_editor->get_text_editor()->delete_lines();
|
||||
} break;
|
||||
case EDIT_DUPLICATE_SELECTION: {
|
||||
code_editor->duplicate_selection();
|
||||
code_editor->get_text_editor()->duplicate_selection();
|
||||
} break;
|
||||
case EDIT_DUPLICATE_LINES: {
|
||||
code_editor->get_text_editor()->duplicate_lines();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue