- symbol dialogs use the selected font now
- the font button now changes its font whenever setFont() is called
- SymbolDialog:
- changed button "close window" to "Close"
- removed undefined upper greek letter
- added alternative lower case greek letters for theta, phi, kappa and rho
- removed hardcoded font size
