public static string highlight(string line) { return("<mark=#" + ColorCoder.getHighlightColor() + "55>" + line + "</mark>"); }
public static string highlight(string line) { return("<mark=#" + ColorCoder.getHighlightColor() + "55>" + line + "</mark>"); }