is now updated on panel BecomeKey. * ./modules/gui/macosx/prefs.m: Decreased width of prefs panel.
Attach a file by drag & drop or click to upload
