The text on the user interface is too big for me.
Is it possible to change it to a smaller size?
The preference dialog allows us to change the font size of the terminals, but not the interface of the application.
@nyar233
Thank you for the tip.
It does change the font size of the main menu labels and panel titles. However, font size of menu items are not changed.
The text on the user interface is too big for me. Is it possible to change it to a smaller size? The preference dialog allows us to change the font size of the terminals, but not the interface of the application.