On 15.01.2008, at 19:40, Jens Noeckel wrote:
Fortunately, on the Mac you can also access the menu bar by the system-wide shortcut "Control-F2" (which you can in turn customize in the System Preferences).
Well, yes - so lets hope that bug 4446 gets fixed in the next release :-)
http://bugzilla.lyx.org/show_bug.cgi?id=4446 Daniel
