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 is a similar problem as #22, but occurs also when there are no errors. The reason is that after rendering a new graph, the markers of the selected components in the editor are (unnecessarily) updated which also re-insert the latest text exported from the editor which might not be up-to-date when typing fast.
The text was updated successfully, but these errors were encountered:
This is a similar problem as #22, but occurs also when there are no errors. The reason is that after rendering a new graph, the markers of the selected components in the editor are (unnecessarily) updated which also re-insert the latest text exported from the editor which might not be up-to-date when typing fast.
The text was updated successfully, but these errors were encountered: