Searched refs:destFileStore (Results 1 – 1 of 1) sorted by relevance
188 … IFileStore destFileStore = copy(shell, fileStoreEditorInput.getURI(), localFile.toURI()); in doSaveAs() local189 if (destFileStore != null) { in doSaveAs()190 IFile file = getWorkspaceFile(destFileStore); in doSaveAs()194 newInput = new FileStoreEditorInput(destFileStore); in doSaveAs()203 IFileStore destFileStore = null; in copy() local206 destFileStore = EFS.getStore(dest); in copy()208 sourceFileStore.copy(destFileStore, EFS.OVERWRITE, null); in copy()216 return destFileStore; in copy()