キー・バインディングの変更

異なったキー・バインディング間で選択することができます。

  1. 「ウィンドウ > 設定 > ワークベンチ > エディター」を選択します。

  2. キー・バインディング」リスト・ボックス内のキー・バインディングの 1 つを選択します。

関連概念
ワークベンチ、Java 開発ツール、および「デバッガー」用のキーボード・ショートカット
キーボードを使用するユーザー・インターフェースのナビゲート

 
Copyright IBM Corporation and others 2000, 2002