I would like to allow the user to change the font of
everything in my app.
I do a setFont() on the top frame but two problems occur:
1) The font of the menu items is never changed.
2) I have to resize the frame for the fonts to change, Calling repaint() did not help.