anilgkts / arduino

Automatically exported from code.google.com/p/arduino
Other
0 stars 0 forks source link

Double click and drag should select words. Triple click and drag should select lines. #824

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
As per processing issue 576 
<http://code.google.com/p/processing/issues/detail?id=576> which I also 
provided a patch for and which has been incorporated into processing since 
April 2011.

Double click and drag should select words.  Triple click and drag should select 
lines.

Also, as noted in  issue 59  (from 2006!), double clicking on space should 
select only the spaces, not all non-space characters.

Attached is a diff that resolves these issues.  Triple click and drag selects 
lines.  Double click and drag selects words.  Words are defines as sets of only 
one kind of: letter/digit/etc characters; whitespace; everything else.  
Technically, "everything else" should probably each individually be treated as 
a single character words, but in practice this is a good tradeoff.  For example 
++ and += are treated as a single word, but so is ");".

Original issue reported on code.google.com by pe...@stairways.com.au on 21 Feb 2012 at 4:05

Attachments:

GoogleCodeExporter commented 9 years ago
Here is a "-Naur" format diff, which might be better.

Original comment by pe...@stairways.com.au on 21 Feb 2012 at 4:27

Attachments:

GoogleCodeExporter commented 9 years ago

Original comment by dmel...@gmail.com on 22 Feb 2012 at 12:21

GoogleCodeExporter commented 9 years ago
https://github.com/arduino/Arduino/commit/a6eb9ea5eb16769d6c6071170ed4b9eab67c97
93

Thanks again!

Original comment by dmel...@gmail.com on 2 Mar 2012 at 11:08