private void openInEditor(String path) {
		File fileToOpen = new File(path);
		if (fileToOpen.exists() && fileToOpen.isFile()) {
			Display.getDefault().asyncExec(new OpenFileRunnable(path));
		}
	}
Opens the given file in an editor.

@param path The path to the file to open.
GhidraBuild/EclipsePlugins/GhidraDev/GhidraDevPlugin/src/main/java/ghidradev/ghidrascripteditor/SocketSetupRunnable.java