public void stylize(StylizerSource source) { if (source.Document.createFace(this, "c-keyword") != null) { keywordFace = source.Document.getFace("c-keyword"); keywordFace.FaceStyle.Foreground = Color.Green; keywordFace.FaceStyle.FontStyle = FontStyle.Bold; } foreach (int line in source.Range.getLines()) { stylizeLine(source, line); } }
public void setFace(DocumentRange target, StyleFace face) { doc.setFace(target, face); }
public void stylize(StylizerSource source) { if (source.Document.createFace(this, "scharp-keyword") != null) { keywordFace = source.Document.getFace("scharp-keyword"); keywordFace.FaceStyle.Background = Color.GhostWhite; keywordFace.FaceStyle.Foreground = Color.FromArgb(0, 0, 150); keywordFace.FaceStyle.FontStyle = FontStyle.Bold; } foreach (int line in source.Range.getLines()) { stylizeLine(source, line); } }
public void setFace(DocumentRange target, StyleFace face) { if (face == null) return; int line = target.Start.Line; int column = target.Start.Column; while (line <= target.End.Line) { CharacterRange chRange; if (line == target.End.Line) { chRange = new CharacterRange(column, target.End.Column - column); } else { chRange = new CharacterRange(column, Rows[line].Length); } getRowStyles(line).Add(new FaceApplied(face.Name, chRange)); fireFaceChanged(Rows[line]); column = 0; line++; } }