Re: [9front] [PATCH] rio(1): add triple-clicking and shift-up/down

[Lucas de Sena <lucas@seninha.org>]

What about the following?

> A third click can be done after a double-clicking
> that is not inside a matched delimited-pair
> and that selects either nothing or an alphanumeric word;
> it selects non-whitespace characters around the original selection
> and the original selection itself.

Kinda verbose, but I think it's correct.

The manual is clear that a selection can be a null string (in which case
the selection is indicated by a hairline cursor between two characters).
So I expanded my sentence to include that the double-clicking before the
third one can be either a null string selection, or an alphanumeric word
selection.  If I understood correctly those are the cases when the third
click makes the original selection be bound by the whitespace around it.

This sentence also covers the case of triple-clicking between delimiters
with no text inside them, such as ().

The "non-whitespace" can be replaced by "non-blank". I don't know what's
the semantical difference of those two expressions in Plan 9, nor how it
applies to the triple-clicking selection.

Regarding the shift-up/down.  It is a rio feature.  So I think it should
be documented in the manual (even if considered a bad practice by some).