mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-17 06:52:18 +01:00
a6eb9ea5eb
Double clicking selects words, double-clicking and dragging does too. Triple-click for lines. http://code.google.com/p/arduino/issues/detail?id=824