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
The root of the problem is the decoration cleaning event. It fires not only when the content of the document changes, but also after saving the file. So, if my auto-save setting is on and I press alt+enterright after some typing, the following happens:
The evaluation result appears.
Auto save is performed.
onDidChangeTextDocument event cleans the decoration.
The suggested fix is to clean the decoration only if the event contains real changes. PR is coming.
The text was updated successfully, but these errors were encountered:
The root of the problem is the decoration cleaning event. It fires not only when the content of the document changes, but also after saving the file. So, if my auto-save setting is on and I press
alt+enter
right after some typing, the following happens:onDidChangeTextDocument
event cleans the decoration.The suggested fix is to clean the decoration only if the event contains real changes. PR is coming.
The text was updated successfully, but these errors were encountered: