Hiding the toolbar - Githubissues

JunoLab / atom-ink

IDE toolkit for Atom

MIT License

229 stars 40 forks source link

Closed tosh closed 6 years ago

tosh commented 7 years ago

Is there a way to hide the toolbar on top of ink REPLs?

see jasongilman/proto-repl#211

pfitzseb commented 7 years ago

No, but there should be one.

pfitzseb commented 6 years ago

Irrelevant now, since the new REPL doesn't have that toolbar anyways.