Change font/color (theme support) #290
-
Is it possible to change terminal font and color used by |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
Hi @yermulnik, font is not assigned by the tool so it should use whatever font you have configured in your terminal. Colors are hardcoded and not configurable at the moment. |
Beta Was this translation helpful? Give feedback.
-
Got you. Thanks. |
Beta Was this translation helpful? Give feedback.
Hi @yermulnik, font is not assigned by the tool so it should use whatever font you have configured in your terminal. Colors are hardcoded and not configurable at the moment.