「設定」ダイアログは、ユーザー設定に使用するダイアログ・ボックスです。「設定」ダイアログ・ページは、フィルター機能を使用して検索できます。ページ・タイトルとのマッチングを使用してフィルターするには、探しているページの名前を入力するだけで、使用可能なページが下記に表示されます。また、フィルターは、外観および Java などのキーワードで検索します。ヒストリー・コントロールにより、すでに表示されたページへナビゲートできます。一度に幾つかのページを前後するには、ドロップダウン矢印をクリックすると、最新に表示された設定ページのリストが表示されます。
この設定ダイアログは、
「ウィンドウ」>「設定」の下のメイン・ワークベンチ「ウィンドウ」メニューにあります。プラグインから提供される「設定」ページは、このダイアログ内にあります。
次の図に、「設定」ダイアログの外観を示します。