We’re releasing a new version of the Glitch console that’s gradually rolling out to all projects. Once your project has the new console you’ll see an Options link in the upper left-hand corner of the console that will allow you to set things like font style and size to your liking, as well as controlling colors for the console background and text.
Since we’re using a console that’s based on xterm.js, the available settings can be found on the xterm.js site: Options and Theme.
This release will roll out to projects over the next few hours, and during that time some projects may have trouble with their consoles until their next restart (within 12 hours). If you’re seeing that, you can use the Glitch API to restart your project to pick up the changes and return your console to working order with these steps:
Get your user token by running JSON.parse(window.localStorage.cachedUser).persistentToken in your browser’s developer tools console from any Glitch Editor page.
Running curl -X POST https://api.glitch.com/projects/{project-name}/stop?authorization={user-token} in any handy command line, replacing {project-name} with your project’s “domain” (the part before “.glitch.me”) and {user-token} with the user token you retrieved in the previous step.
Refresh your browser window to reload your project, which should now have the new console.
Sorry for the bother, and we hope you find the new console options as useful as we do!
Nice, glad to know that was why the console would have timed out that one time most likely, first time I saw this in the console, tried changing font instantly and it messed up but was funny.
Hey @Hego1234, the page that you get to at the other end of the link you provided is a Glitch Editor page, so if you open your browser’s developer tools from that page the rest of the steps should work. Let us know if you continue to have difficulties!
I didn’t make a point of that, but the new console should work on mobile as others have pointed out. It works on iPad in my brief testing, although there are a few little issues that we’re still working on.
@Hego1234, arg ya mobile life. what kind of changes were you looking to make to the console? I’m working on some new defaults now (mostly aesthetic I think) and if they’d be useful to everyone I can roll them into the default
Hey @Hego1234 are you still having trouble? I may have misinterpreted what you were asking about, but any problems with disconnected console should have resolved themselves without your intervention by now.
We’re definitely thinking of ways to manage this better. One problem is that under some broken circumstances you can’t access anything in the console, so a button won’t necessarily be accessible. Fortunately not too many folks have run into this so far.