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
A nice enhancement would be to add an arrow or something at the end of the references text, if only one reference exist. Clicking this would jump straight to the given line. Would be really nice if it's a bit easier to jump to a reference. A popup on hover with the references or something could also work.
Love elm-lens btw! ❤️
The text was updated successfully, but these errors were encountered:
A nice enhancement would be to add an arrow or something at the end of the references text, if only one reference exist. Clicking this would jump straight to the given line. Would be really nice if it's a bit easier to jump to a reference. A popup on hover with the references or something could also work.
Love elm-lens btw! ❤️
The text was updated successfully, but these errors were encountered: