diff --git a/pp-source-format/Formatter.cs b/pp-source-format/Formatter.cs index dda220f..044c04b 100644 --- a/pp-source-format/Formatter.cs +++ b/pp-source-format/Formatter.cs @@ -4,7 +4,7 @@ using System.Diagnostics; using System.IO; using System.Linq; -using System.Text; +using System.Text.Json.Nodes; using System.Text.RegularExpressions; using System.Threading.Tasks; using System.Windows.Forms; @@ -48,7 +48,6 @@ static PpPasteDataType PowerpointPasteType(this Format f) return PpPasteDataType.ppPasteRTF; default: throw new Exception("Unknown paste type: " + f.ToString()); - } } @@ -65,7 +64,6 @@ static string DataFormat(this Format f) return DataFormats.Rtf; default: throw new Exception("Unknown data format: " + f.ToString()); - } } @@ -82,10 +80,77 @@ static string PygmentsFormat(this Format f) return "rtf"; default: throw new Exception("Unknown pygments format: " + f.ToString()); + } + } + + public class PygmentsConfiguration + { + public class Style + { + public string Name { get; } + public string Info { get; } + public Style(string name, string info) + { + Name = name; + Info = info; + } + } + + public IEnumerable Lexers { get; } + public List