Module term_model::selection

source ·
Expand description

State management for a selection in the grid

A selection should start when the mouse is clicked, and it should be finalized when the button is released. The selection should be cleared when text is added/removed/scrolled on the screen. The selection should also be cleared if the user clicks off of the selection.

Structs§