add JFontChooser to allow user to pick editor font