tree 56a46b005a51b2be470e29c6741cfaf189e0755b
parent 714f7d3c3f6540b6d52bc4a426476f692eae612c
author Lars Clausen <larsrc@google.com> 1546615609 +0100
committer Lars Clausen <larsrc@google.com> 1546960204 +0000

Create comment immediately when double-clicking after a line

This assumes that any empty selection of just one line that ends at the
start of a line is an after-end-of-line selection. We capture it on
mouseup to avoid comments appearing while dragging.

Known issues:

Occasionally, when the comment is created on an empty line, discarding
the comment can trigger another mouseup that creates a new comment.
Occasionally the selection of a line hangs around and double-clicking
after the end of the line doesn't do anything until the selection is cleared.

Change-Id: Ifeea4f25e2ee4d4643766e4bdff31a74fedca68f