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
When having a nomnoml diagram of more than, e.g. 100 lines, and using CTRL-F to search for a term, this can't be found.
This probably due to a editor optimization that unloads lines of code that aren't in the viewport, but makes it harder to locate specific nodes within larger diagrams.
I was not aware of this behavior. Unfortunate. Perhaps there is a CodeMirror plugin that can replace the browser search with a CodeMirror-aware search with a custom UI?
When having a nomnoml diagram of more than, e.g. 100 lines, and using CTRL-F to search for a term, this can't be found.
This probably due to a editor optimization that unloads lines of code that aren't in the viewport, but makes it harder to locate specific nodes within larger diagrams.
I understand this is most probably due to how CodeMirror works (and afaict, not resolvable https://discuss.codemirror.net/t/viewport-issues-with-cm-6/3586 ) , but just wanted to flag it to see if I would have missed something
The text was updated successfully, but these errors were encountered: