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