package winterwell.markdown.editors;
import java.io.File;
import org.eclipse.core.runtime.IPath;
import org.eclipse.jface.action.Action;
import org.eclipse.ui.IEditorInput;
import org.eclipse.ui.IEditorPart;
import org.eclipse.ui.IPathEditorInput;
import winterwell.utils.io.FileUtils;
public class ExportHTMLAction extends Action {
public ExportHTMLAction() {
super("Export to HTML");
}
@Override
public void run() {
IEditorPart ed = ActionBarContributor.getActiveEditor();
if (!(ed instanceof MarkdownEditor)) {
return;
}
MarkdownEditor editor = (MarkdownEditor) ed;
IEditorInput i = editor.getEditorInput();
if (i instanceof IPathEditorInput) {
IPathEditorInput input = (IPathEditorInput) i;
IPath path = input.getPath();
path = path.removeFileExtension();
path = path.addFileExtension("html");
File file = path.toFile();
String html = editor.getMarkdownPage().html();
FileUtils.write(file, html);
}
}
}