@stooj if you only use the Terminal tab, in Preferences->Various you can disable the msgwin_*_visible
options, then it should make the Terminal tab shown by default. Not exactly what you want, but it might serve the purpose.
P.S. Awesome that you're teaching 8-year olds on Linux and using the terminal :)
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.