* modules/gui/macosx/prefs.m: