ワークベンチ・データの refresh

リソースは、ワークベンチ内、ワークベンチ外の両方から変更することができます。   ワークベンチ外からリソースを変更した場合には、ワークベンチ内でリソースの操作を続行する前に ワークベンチを refresh します。  このことは、外部エディターを使用してリソースを変更する場合にも該当します。 こうすることによって、ワークベンチ内のリソースが最新の状態であることが保証されます。

この操作は、チーム・サポートを使用している場合には特に重要です。