// }
// else {
filePath = ((FileEditorInput)editor.getEditorInput()).getFile().getRawLocation().toString();
// }
IWorkbenchPage page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
FileExplorerView explorer = (FileExplorerView)page.showView(FileExplorerView.ID_FILE_EXPLORER);
explorer.showFile(filePath);
}
catch(ClassCastException e) {
AlertUtils.alertUser("This action does not currently work with remote files.");
}
catch(Exception e) {