list all valid option names show_global_option x --> displays value of option change_global_option x y --> changes value of option x to y eg. show_global_option FixedPitchFont change_global_option FixedPitchFont Dina After changing an option you should exit the client and re-open it, otherwise if you use the GUI interface (global preferences) it may put the option back again. ]]>