Benjamin Staneck
Benjamin Staneck
When it's done being developed.
This could be a really good start, Chrome OS Terminal now colors the tab by the background color  https://www.androidpolice.com/2020/04/04/hack-the-planet-in-style-with-the-new-linux-terminal-in-chrome-os-83/
Custom labels no, showing more info on what each trigger does, maybe
Most because of the UI overhead/complications it would cause
Yes exactly, like this:  Then on this page, every region type would be represented by a tab where you can set default fonts, font sizes, bar textures etc.
Just to keep this up to date, @emptyrivers suggested this being more akin to a `Themes` setting, which means we could allow users to have more than one and let...
I think this will have a place in a more general overhaul of actions, if every action can be repeated as for example currently sounds can, then I think this...
I don't quite understand what your suggestion has to do with the original problem somehow. In my understanding the problem is that users want to keep their fonts but authors...
Oh yeah, that's a bit of a pickle since what you proposed would lead to the %c code being preserved but then we could still into the problem I mentioned....
When first talking about it we were considering a setup wizard like experience for importing and updating so we could get rid of the tooltip once and for all, maybe...