Open RazinShaikh opened 1 week ago
I have managed to add font family and font size settings (see Input Circuit). The question is how many font groups do we want to create?
We can:
What do you think @RazinShaikh?
What is the reasoning behind a different font for the edit panel?
One example that I like to look for inspiration for UI design is PyCharm. They have 3 classes to change fonts: for the application settings, for the editor, and one for the terminal. For us, it could also make sense to set the general font to anything and editor-font to some mono/sans font
Is it just me or do other people also find the default font size of the ZXLive UI a bit too small?