arduino / arduino/Arduino

Double-clicking does not select words under the cursor as expected (when using tablet)

Open
#10,612 2 comments 0 reactions 0 assignees View on GitHub
Component: IDE Component: IDE user interface Type: Bug
Dominant language
Java
Stars
14.6k
Forks
7k
PR merge metrics
No merged PRs in 30d

Description

Setup:
- Have a tablet pointing device instead of a mouse
- Open Arduino IDE and any code sketch in it
- Double-click (double tap with pen) any word in the IDE

Expected behavior:
- Whole word gets selected

Encountered behavior:
- Word gets selected not in full, but only from its first letter to the cursor

Hardware "mouse" device - Wacom Tablet
Latest version tested on - 1.8.9

Description:
I'm using a Wacom Tablet instead of a mouse and "double-click to select a word in the IDE" does not work nice for me.
Tablets have this "thing" that when you click (double tap with pen) the cursor jumps 1-2px around (due the grip and motion of the pen tip not being perfectly vertical). This seems to be caused/related by the issue #824 where it starts to select the word on "double-click and drag".

Proposed solutions:
A. Allow for small 2px cursor jitter before the "double-click and drag" word selection starts (and possibly other similar "double-click and something" features)
B. Same as A, but do it only if there's a tablet pointing device detected
C. Allow to turn off the "double-click and drag" from IDE options

Contributor guide

Open the contributing guide

Research direction

Reproduce the behavior in Arduino IDE 1.8.9 with a Wacom tablet and a code sketch, then review the double-click-and-drag behavior described in issue #824. Compare the proposed jitter tolerance and IDE-option approaches; done means a tablet double-tap selects the whole word without starting partial word selection.

Written by the indexing model from the issue text.

Assessment

Tech stack
java
Domain
desktop
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.