Linux fonts should change size as requested by system
ParaView 5.3.0 doesn't change menu font sizes when requested to by the system. Gnome/ System/ Preferences/ Appearance/ Fonts doesn't appear to work. I have found online that the gnome-tweak-tool can be used for this, I don't have it installed. I am in the process of trying to get access to it. Anyway, ParaView needs to have user changeable font sizes, without having to know the magic sauce of tweak tools.