Replies: 1 comment 1 reply
-
|
For font size, you can change that from the drop-down menu in the Terminal's Toolbar. Otherwise, the Terminal's fonts should all be configurable from the Theme manager (accessed from the Project window) |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Thanks. Found it here:
|
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
It is a bit ugly and hard to read.
Beta Was this translation helpful? Give feedback.
All reactions