「ワークスペース」設定ページで、 ワークベンチのさまざまな IDE 特定ワークスペース設定を管理することができます。
以下の設定は、「ウィンドウ」>「設定」>「一般」>「ワークスペース」を選択することにより、
ワークスペース・ページでアクセスできます。
オプション | 説明 | デフォルト |
自動的にビルド | このオプションがオンになると、変更されたリソースが保管されるたびにワークベンチは自動ビルドを実行します。 | オン |
ビルド前に自動的に保管 | このオプションが選択されている場合、手動ビルドが実行されると、
ワークベンチが、最後のビルドが実行されてから変更されたリソースをすべて自動的に保管します。 |
オフ |
ワークスペース保管間隔 (分) | この数値は、ワークスペースの状態が自動的にディスクに保管される頻度を示します。 | 5 |
自動で更新 | このオプションがオンになると、ワークスペースのリソースは、自動的にファイル・システム内の対応するリソースと同期化されます。 注: ワークスペース内にあるリソースの数によっては、この操作に長時間かかる場合があるのでご注意ください。 |
オフ |
「ワークスペース」設定ページは、以下のようになります。