search

zyedidia / micro

A modern and intuitive terminal-based text editor
https://micro-editor.github.io
MIT License
24.42k stars 1.16k forks source link

Make `MouseMultiCursor` toggle cursors #3146

Closed dmaluka closed 4 months ago

dmaluka commented 4 months ago

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 commented 2 months ago

Hi

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

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

Kind Regards Gavin Holt

dmaluka commented 2 months ago

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 commented 2 months ago

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 https://github.com/zyedidia/micro/discussions/3276#discussioncomment-9284693