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;
}
