Dmytro Maluka
Dmytro Maluka
Is this issue still observed?
Is anyone still seeing this issue with a recent version of micro?
Is this still observed with a recent version of micro?
Is this issue still observed with a recent version of micro?
I can reproduce this. From micro's code I see that the `Press enter to close` message actually indicates that [an error occurred](https://github.com/zyedidia/micro/blob/master/internal/shell/terminal.go#L99). So this message seems misleading, and moreover, it...
Also 225927b is 2.0.11 i.e. a pretty old version of micro. Since 2.0.14 we have the fix #3009 which avoids unexpected rewriting of `settings.json` in most cases.
> I suspect the reason it doesn't is that it can return early if it finds a match (instead of going through the entire file) Yes, that is the reason....
Yes, that is how micro implements multiple cursors. From the terminal's point of view there is just one cursor, so micro draws all other cursors as "fake cursors", i.e. just...
> It would be great if there was an option to use the "Left Vertical Box Line" character as the fake cursor style. Like I said, it may not look...
> maybe it would make more sense to expose screen.Redraw() directly as `screen.Redraw(),` rather than as `overlay.Redraw()` like this PR is currently doing? I don't know what this PR is...