On 2004-07-09 04:28:01 +0200, nico dreher wrote: > I tried all sorts of combinations: ctrl - alt - f1, fn - alt - f1, etc.
On mine: Ctrl-Command-F1
^^^^^^^ the key just before the space bar
--
Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/>
100% validated (X)HTML - Acorn / RISC OS / ARM, free software, YP17,
Championnat International des Jeux Math�matiques et Logiques, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

