schemely
schemely copied to clipboard
REPL - Tab names
Could it be feasible to allow the user rename a REPL tab? Right now, all of them are named "Local". As an example, if the user is working with two files separately with their corresponding REPLs, this would help him discern which one should work on.
As suggested by Colin, initially name the tab with the name of the file being loaded. It would be handy to let the user rename an open tab.