double clicking a word and copying it (ctrl + c) often throws me to the definition of the word.
it's probably handleCtrlClick(evt) in JavaTextAreaPainter.java on line 86.
playing around I noticed a quick sequence of one left mouseclick -> ctrl + c does the same, but timing is essential.
What I'd expect here is: this should only happen if ctrl is held down before actually clicking.
double clicking a word and copying it (ctrl + c) often throws me to the definition of the word.
it's probably handleCtrlClick(evt) in JavaTextAreaPainter.java on line 86.
playing around I noticed a quick sequence of one left mouseclick -> ctrl + c does the same, but timing is essential.
What I'd expect here is: this should only happen if ctrl is held down before actually clicking.