Editing Menu bar font #1955
-
Hi, I wanted to know how to edit the font in the menu bar. I could not seem to find this issue discussed anywhere. |
Beta Was this translation helpful? Give feedback.
Answered by
rodrigoalcarazdelaosa
Nov 15, 2020
Replies: 1 comment 2 replies
-
See here how to customize the font set. You can indeed select any font you want for the menu bar by editing the |
Beta Was this translation helpful? Give feedback.
2 replies
Answer selected by
jivatneet
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
See here how to customize the font set. You can indeed select any font you want for the menu bar by editing the
nav_font
field.