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