[BLUEJ-52] Fontsize setting in bluej.defs has no effect if the "BlueJ theme" is not in use
When changing the setting bluej.menu.fontsize=20 nothing happens if the BlueJ theme is not in use.
------- Comment \BLUEJ-1 From Michael K?lling 2004-05-03 17:36:32 [reply] -------
We will rethink the whole 'theming' thing in light of using the XP LaF. This should maybe be removed?
Either Kasper or Bruce should look at it.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.1.6