I would like to change the font size and overall terminal behaviour, but when I click on the little gear in the upper right corner, the preferences open, but are completely unresponsive. The phone doesn't freeze, I can still just go back to the terminal and all, but the preferences are completely frozen.
Is there another way to change the preferences and more importantly, how could I fix the preferences window?
Is there another way to change the preferences and more importantly, how could I fix the preferences window?