mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-14 16:07:52 +00:00
Repaint the pane when its selection changes, so a shrinking selection leaves no stripe between blocks, and clamp a double or triple click selection to the pane before it is painted into the next field.