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
The thing that shows line number and set definition on hover is really nice – it'd be handy if we could have a hotkey that went straight to the definition of the set too. Preferably there would be a "back" button as well, to go back to where we were afterwards.
The text was updated successfully, but these errors were encountered:
The thing that shows line number and set definition on hover is really nice – it'd be handy if we could have a hotkey that went straight to the definition of the set too. Preferably there would be a "back" button as well, to go back to where we were afterwards.
The text was updated successfully, but these errors were encountered: