ShowAsHTML.java

package org.rascalmpl.eclipse.editor.highlight;

import io.usethesource.impulse.editor.UniversalEditor;

public class ShowAsHTML extends HighlightAction {

	public ShowAsHTML(UniversalEditor editor) {
		super(editor, "Show as HTML", "highlight2html", "html");
	}

}