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
…lla-repl#273) from the original repo.
Not sure if the keyboard bindings is the best, (Alt+t)+(Alt+n), other suggestions are welcome.
Signed-off-by: MawiraIke <[email protected]>
I do this all of the time, to open another file in a project I'm working on:
Select and copy the appropriate prefix of the URL from the address bar (like "http://127.0.0.1:51712/worksheet.html").
Create a new tab in my browser the ordinary way.
Paste in the copied URL and hit return.
(Sometimes) use the load file command to open an existing file.
It works okay, but it's a bit janky, especially the "select and copy the appropriate prefix of the URL" part.
It'd be even nicer if there was a command to open a new worksheet directly from the Gorilla REPL menu and command keys.
The text was updated successfully, but these errors were encountered: