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 an element is clicked in the preview of the nomnoml web application, a wrong element is highlighted in the editor.
Which element gets highlighted depends on the web browser's zoom factor.
Reproducibility:
Set web browser (Firefox) zoom factor to 0 ([CTRL][0]),
In the example graph, click [beard] --> [singing] is highlighted in the editor.
PS: Many thanks for nomnoml - a great App!
The text was updated successfully, but these errors were encountered:
Thanks for your answer.
LOL - well, I admit I was so confident that this is a cool nomnoml feature, that this explanation didn't even come to my mind!
So maybe you can take this as an improvement proposal: when graphs become larger, it is difficult to find the relation between the graph and editor elements. So highlighting and scrolling to the right position when selecting an element either in the editor or in the graph would be very useful!
When an element is clicked in the preview of the nomnoml web application, a wrong element is highlighted in the editor.
Which element gets highlighted depends on the web browser's zoom factor.
Reproducibility:
PS: Many thanks for nomnoml - a great App!
The text was updated successfully, but these errors were encountered: