added options to easyGUI to make lyxNotebook menu look better