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
Thanks. This turned out to be a particularly bad (but fortunately easy to fix) performance problem. If this continues to happen in other situations, I'll make some more changes to avoid freezing the GUI.
Note that category theory is particularly prone to the problems described in #43, #44, and #69. So at the moment I recommend using the VSCode extension so that text input can be used as a fallback option.
The application becomes unresponsive after clicking on the placeholder with yellow background color:
The text was updated successfully, but these errors were encountered: