wbsoft/frescobaldi — pull request #69 by cognot (2012-06-08 21:34:20+00:00)
Title: Give priority to selection over its region.

Hi,

This makes the selection take over the region it covers, both for cursor management (on that region only selection related cursors are set) and clicks (only selection-oriented actions occur).

Events outside the selection region are treated as usual, and invalidate the selection.

Regards,
Richard.