ShowAsLatex.java

package org.rascalmpl.eclipse.editor.highlight;

import io.usethesource.impulse.editor.UniversalEditor;

public class ShowAsLatex extends HighlightAction {

	public ShowAsLatex(UniversalEditor editor) {
		super(editor, "Show as LaTeX", "highlight2latex", "tex");
	}

}