2007-09-17 tips-ディレクトリのショートカットをデスクトップへ作成するには gnome ShiftとCtrlを押しながらドラッグ&ドロップする。仮想スクリーンの切替えにしろShiftとCtrlの同時押しアクションが結構ある。