1.1 --- a/vcscore/src/org/netbeans/modules/vcscore/VcsFileSystem.java	Fri Feb 22 17:43:33 2002 +0000
     1.2 +++ b/vcscore/src/org/netbeans/modules/vcscore/VcsFileSystem.java	Fri Feb 22 19:18:16 2002 +0000
     1.3 @@ -3157,6 +3157,12 @@
     1.4              };
     1.5          }
     1.6          if (cache != null) cache.rename(oldName, newName);
     1.7 +        if (statusProvider != null) {
     1.8 +            String newStatus = statusProvider.getFileStatus(newName);
     1.9 +            if (!notModifiableStatuses.contains(newStatus)) {
    1.10 +                statusProvider.setFileModified(newName);
    1.11 +            }
    1.12 +        }
    1.13          addParentToRefresher(oldName);
    1.14      }
    1.15