diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-09-23 15:00:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-23 15:00:41 +0200 |
commit | fc47569be9bffc2d06d2a50e28c7467d9d63c2f6 (patch) | |
tree | 682ff73a2e87e9abd39ac50ff408aff1d6d985bb | |
parent | 915b27b0ab6ebc59eab7fe56b353b798c3a639f1 (diff) | |
parent | ef3455f23699770272e439abbdc74844c1c8acc7 (diff) |
Merge pull request #32232 from Paulb23/issue_32070_goto_doc_when_selecting
Fixed going to doc reference while selecting text
-rw-r--r-- | scene/gui/text_edit.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scene/gui/text_edit.cpp b/scene/gui/text_edit.cpp index 7227942ccb..d5f1d317c7 100644 --- a/scene/gui/text_edit.cpp +++ b/scene/gui/text_edit.cpp @@ -2455,7 +2455,7 @@ void TextEdit::_gui_input(const Ref<InputEvent> &p_gui_input) { if (mm.is_valid()) { if (select_identifiers_enabled) { - if (mm->get_command() && mm->get_button_mask() == 0) { + if (!dragging_minimap && !dragging_selection && mm->get_command() && mm->get_button_mask() == 0) { String new_word = get_word_at_pos(mm->get_position()); if (new_word != highlighted_word) { @@ -2513,7 +2513,7 @@ void TextEdit::_gui_input(const Ref<InputEvent> &p_gui_input) { #endif if (select_identifiers_enabled) { - if (k->is_pressed()) { + if (k->is_pressed() && !dragging_minimap && !dragging_selection) { highlighted_word = get_word_at_pos(get_local_mouse_position()); update(); |