Skip to content
This repository has been archived by the owner on Oct 25, 2023. It is now read-only.

Space-triggered '\<symbol>' autocompletion messes up cursor position #1

Open
khoek opened this issue Nov 14, 2017 · 0 comments
Open

Comments

@khoek
Copy link

khoek commented Nov 14, 2017

If you somehow end up in a situation with \nat (not yet autocompleted) in the middle of a line, such as while editing the tutorial snippets, like;

foo \nat bar baz

and then move your cursor to the end of \nat and press space, your cursor ends up where it would have had you the \nat -> autocompletion had not occurred, which can be really annoying.

I tried to fix the problem, but I don't really know anything about Monaco. I think we might need to somehow obtain a reference to the monaco editor instance within checkInputCompletion(), and call executeEdits() on the editor instead of applyEdits() on the model.

RaitoBezarius pushed a commit to RaitoBezarius/lean-web-editor that referenced this issue Oct 30, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant