サーバーの状態が変わったとき「サーバー」ビューを表示 |
「サーバー」ビュー内に
なんらかのアクティビティーがあるとき、「サーバー」ビューがワークベンチに表示されます。
サーバー状態についての詳細は、『「サーバー」ビュー』のトピックを参照してください。 |
サーバーの始動時に自動的に公開 |
サーバーを始動する前にすべてのファイルを自動的に公開することを指定します。 |
ローカル・サーバーに自動的に公開 |
秒
ごとに 1 回の間隔で、すべてのファイルを自動的にローカル・サーバーに公開することを指定します。
秒 は、「公開間隔 (秒)」コントロールで指定した秒数です。
公開間隔の最小値は 10 秒です。 |
リモート・サーバーに自動的に公開 |
秒 ごとに
1 回の間隔で、すべてのファイルを自動的にリモート・サーバーに公開することを指定します。
秒 は、「公開間隔 (秒)」コントロールで指定した秒数です。
公開間隔の最小値は 10 秒です。 |
必要時にサーバーを自動的に再始動 |
サーバー・ツールが、ワークスペース内でのリソースの変更を処理するためにサーバーを再始動させる必要があることを検出すると、サーバー・ツールが自動的にそのサーバーを再始動させることができることを示します。 |
エディター内で元に戻せない変更を行う前にプロンプトを出す |
取り消しができないエディターで変更を行う前に、サーバー・ツールによりプロンプトが出されるように指定します。 |