1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-07 12:30:27 +00:00

Merge pull request #14973 from poke1024/docs-word-selection

Double-click word selection for RichTextLabel (i.e. docs)
This commit is contained in:
Noshyaar
2018-01-01 18:51:35 +07:00
committed by GitHub
5 changed files with 76 additions and 39 deletions

View File

@@ -613,7 +613,7 @@ void EditorHelp::_class_desc_input(const Ref<InputEvent> &p_input) {
Ref<InputEventMouseButton> mb = p_input;
if (mb.is_valid() && mb->is_pressed() && mb->get_button_index() == 1) {
if (mb.is_valid() && mb->is_pressed() && mb->get_button_index() == 1 && !mb->is_doubleclick()) {
class_desc->set_selection_enabled(false);
class_desc->set_selection_enabled(true);
}