08/08/27 17:21:20 Fa/SmjHt
>>115
debian 使ってないけど
gnome-terminal は 編集 ->キーボード・ショートカット で
メニューのショートカット・キーを無効にする
っていうチェックがある。
全部のアプリの挙動が変わってもいいのなら
gconf-editor で WM のキーバインドの設定で F10 になにか割り当てれば
WM がそのキー入力を受け取って処理してアプリには渡らないようになる。
うちだと metacity だからこのへんいじってる。
/apps/metacity/global_keybindings/