Make MouseMultiCursor toggle cursors by dmaluka · Pull Request #3146 · micro-editor/micro (original) (raw)

@dmaluka

It is useful to be able to use mouse not only for adding new cursors but also for removing them. So let's modify MouseMultiCursor behavior: if a cursor already exists at the mouse click location, remove it.

@dmaluka

It is useful to be able to use mouse not only for adding new cursors but also for removing them. So let's modify MouseMultiCursor behavior: if a cursor already exists at the mouse click location, remove it.

@Gavin-Holt

Hi

Sorry this does not seem to work on my Windows system.

OS: Windows 10
Version: 2.0.13
Commit hash: 68d88b5
Compiled on April 20, 2024

Kind Regards Gavin Holt

@dmaluka

Which is not surprising: 2.0.13 was released 4 months before this was implemented.

You'd need to compile newest micro from source.

@dmaluka

Compiled on April 20, 2024

Hmm, 2.0.13 but compiled on April 20?
Are you maybe using a nightly build? There is an issue with nightly builds, which I mentioned today in #3276 (comment)

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})