Change font size of the text in GUI

Hi,

When opening the GUI, the font in the gui is huge and I cannot see the tabs well on the left and have to scroll a lot. How do I change that? (not asking about the font in the layout window, but the gui itself)

  • Edit menu → Settings (ParaView menu → Preferences on macOS)
  • In the General tab, click “Override Font”.
  • Change the Font Size. Click Apply until you find an acceptable font size.
  • Click OK.


I am at the min of 8 and that is what I sent ealier. I would need the min to change. Can we achieve this? I tried 6 for instance but it does not do it.