0

How do I change the font and font size in dash to panel?

The big, ugly fonts in dash to panel

DK Bose
  • 42,548
  • 23
  • 127
  • 221
Rujal Shrestha
  • 3
  • 1
    can you attach a full picture of PrintScreen and not the cropped pic. – PRATAP May 24 '19 at 02:11
  • Although I posted an answer, I found in fact that it fully answers your question, so your question may be marked as a duplicate. – vanadium May 24 '19 at 09:48

1 Answers1

0

The Dash to Panel Gnome Shell extension simply adheres to the style defined in the Gnome Shell theme in use. Therefore, the extension does not offer options to customize appearance. To change the appearance, you can try finding another Gnome Shell theme that suits your taste. If however you want fine control over just the font settings, then the only way would be to edit the style sheet of your Gnome Shell theme directly. These style sheets use the same syntax as these used for web pages. See this Ubuntu answer to learn how you could find and edit the appropriate style files.

vanadium
  • 88,010