public ShowTextDialog(string text, string mimeType) { this.Build(); SourceLanguagesManager lm = new SourceLanguagesManager(); SourceLanguage lang = null; if (String.IsNullOrEmpty(mimeType)) { lang = lm.GetLanguageFromMimeType(mimeType); } SourceBuffer buf = null; if (lang == null) { SourceTagTable table = new SourceTagTable(); buf = new SourceBuffer(table); } else { buf = new SourceBuffer(lang); buf.Highlight = true; } sourceView = new SourceView(buf); sourceView.ShowLineNumbers = true; sourceView.Editable = false; vboxContent.PackStart(sourceView, true, true, 0); vboxContent.ShowAll(); if (text != null) { sourceView.Buffer.Text = text; } }
public ShowTextDialog (string text, string mimeType) { this.Build(); SourceLanguagesManager lm = new SourceLanguagesManager (); SourceLanguage lang = null; if (String.IsNullOrEmpty (mimeType)) lang = lm.GetLanguageFromMimeType (mimeType); SourceBuffer buf = null; if (lang == null) { SourceTagTable table = new SourceTagTable (); buf = new SourceBuffer (table); } else { buf = new SourceBuffer (lang); buf.Highlight = true; } sourceView = new SourceView (buf); sourceView.ShowLineNumbers = true; sourceView.Editable = false; vboxContent.PackStart (sourceView, true, true, 0); vboxContent.ShowAll (); if (text != null) sourceView.Buffer.Text = text; }