You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue has the labels bug and nova-core because I think that problems in Nova and in the extension are contributing.
We use a method to execute code when the user stops typing. As discovered by unqiue in the Nova developer forum, that method sometimes behaves undesirably: https://devforum.nova.app/t/callback…. It is not yet known to me under what conditions this exactly occurs.
Although #38 greatly mitigates the issue, some of its consequences remain. The symbols sidebar lists symbols; since the sidebar is reloaded upon every keystroke, users will see a very displeasing animation while symbol names are changed.
The text was updated successfully, but these errors were encountered:
This issue has the labels bug and nova-core because I think that problems in Nova and in the extension are contributing.
We use a method to execute code when the user stops typing. As discovered by unqiue in the Nova developer forum, that method sometimes behaves undesirably: https://devforum.nova.app/t/callback…. It is not yet known to me under what conditions this exactly occurs.
Although #38 greatly mitigates the issue, some of its consequences remain. The symbols sidebar lists symbols; since the sidebar is reloaded upon every keystroke, users will see a very displeasing animation while symbol names are changed.
The text was updated successfully, but these errors were encountered: