Rubén Barroso
Rubén Barroso
Also, it would be a plus to be able to auto-complete special characters, e.g. #\newline
The latest version 0.0.3 of the plugin contains the green start button but it is disabled when the REPL is stopped.
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.
In fact, the shortcut works but it is not shown next to the menu item.