355356357358359360361362363364365
} if(element instanceof RemoteFileEditorInput) { RemoteFileEditorInput input = (RemoteFileEditorInput)element; return input.canWrite(); } return super.isModifiable(element); }
372373374375376377378379380381382
} if(element instanceof RemoteFileEditorInput) { RemoteFileEditorInput input = (RemoteFileEditorInput)element; return !input.canWrite(); } if(element instanceof FileStoreEditorInput) { FileStoreEditorInput input = (FileStoreEditorInput)element;