private static void SourceFileChanged(XMLTextEditor i, DPChangedEventArgs <FileInfo> e) { i.colorize(); }
private static void SourceFileChanged(XMLTextEditor i, DPChangedEventArgs<FileInfo> e) { i.colorize(); }