It should be possible to store selections in BufferMarks, and it should be possible to change selections by moving the cursor whilst a selection is active. We will probably need to distinguish between any region and user-initiated selections again, those details and plans for other uses of regions should be discussed prior to implementation.
It should be possible to store selections in
BufferMarks
, and it should be possible to change selections by moving the cursor whilst a selection is active. We will probably need to distinguish between any region and user-initiated selections again, those details and plans for other uses of regions should be discussed prior to implementation.