public Style GetStyle(StandardStyle style) { ReadThemes(); Style ret; if (!styles.TryGetValue(style, out ret)) { ret = new Style(); Register(style, ret); } return(ret); }
private void Register(StandardStyle styleId, Style style) { styles.Remove(styleId); styles.Add(styleId, style); }
public AppliedStyle(StandardStyle styleId, int start, int end) { StyleId = styleId; Start = start; End = end; }
public void StyleRange(StandardStyle style, int line, int start, int end) => editor.Lines[line].AppliedStyles.Add(new AppliedStyle(style, start, end));
public StyleInfo(StandardStyle styleId, Style style) { StyleId = styleId; Style = style; }