「環境設定 (Preferences)」ダイアログ

「環境設定 (Preferences)」ダイアログで、ワークスペースの設定を行なったり、キーボードショートカットを定義したりできます。

「環境設定 (Preferences)」を開くには、以下のいずれかの操作を行ないます。

「環境設定 (Preferences)」ダイアログには以下のセクションが含まれます。

ページリスト

ダイアログで表示および変更できるオプションのカテゴリーが、ページ別に表示されます。リスト内のページをクリックすると、リストのページの下に使用可能なセクションのタイトルが表示されます。
セクションタイトル

選択したページのすべてのセクションのタイトルが表示されます。セクションタイトルをクリックすると、そのセクションを直接開けます。
セクション

ページ内のセクションが表示されます。各セクションには複数のオプションが含まれます。多くのオプションが含まれるセクションはサブセクションに分割されます。複数の設定から選択できるオプションは、現在の設定が強調表示されます。

補足
「キーボードショートカット (Key Commands)」ページのオプションの配置は、「環境設定 (Preferences)」ダイアログの他のページと大きく異なります。このページの詳細については、後述のセクションを参照してください。