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
Right now, the API for decorators feel nice in that it just maps directly to marks that get added to ranges of text. But the current implementation is very slow, such that it causes noticeable lag used. Fairly sure there's a way to speed it up, and that it's not inherent to the way the API works, just needs to be investigated before they will be fast.
The text was updated successfully, but these errors were encountered:
Right now, the API for decorators feel nice in that it just maps directly to
marks
that get added to ranges of text. But the current implementation is very slow, such that it causes noticeable lag used. Fairly sure there's a way to speed it up, and that it's not inherent to the way the API works, just needs to be investigated before they will be fast.The text was updated successfully, but these errors were encountered: