Closed tosh closed 7 years ago
The toolbar that is above the REPL is from Atom Ink. I don't see any settings in Atom Ink to remove that one. I would ask in the Atom Ink repo or file an issue to allow it to be hidden. In the meantime you could add this to your stylesheet to force it to be hidden. Just be warned that messing with styles could break other things potentially.
// Hide Atom Ink Console Toolbar
.ink-toolbar .bar {
height: 0;
}
In
proto-repl 1.4.10
I now see a toolbar above the REPL in addition to the toolbar that comes withatom-toolbar
(see screenshot).I was looking for a way (through a command or in the settings of proto-repl) to hide the toolbar to get some more vertical screen real estate (I'm happy about every line I can save somehow) but did not find a way to get rid of it.
Is there a way to remove the toolbar that comes with
proto-repl
or maybe hide it by default if theatom-toolbar
package is present?