Expander WrapInExpander(string title, Widget widget)
{
var expander = new ExpanderWithMinSize($"<b>{GLib.Markup.EscapeText (title)}</b>");
expander.Name = "exception_dialog_expander";
Gtk.Rc.ParseString(@"style ""exception-dialog-expander""
{
GtkExpander::expander-spacing = 10
}
widget ""*.exception_dialog_expander"" style ""exception-dialog-expander""
");
expander.Child = widget;
expander.Spacing = 0;
expander.Show();
expander.CanFocus = false;
expander.UseMarkup = true;
expander.Expanded = true;
expander.Activated += Expander_Activated;
expander.ModifyBg(StateType.Prelight, Ide.Gui.Styles.PrimaryBackgroundColor.ToGdkColor());
return(expander);
}
Expander WrapInExpander (string title, Widget widget)
{
var expander = new ExpanderWithMinSize ($"<b>{GLib.Markup.EscapeText (title)}</b>");
expander.Name = "exception_dialog_expander";
Gtk.Rc.ParseString (@"style ""exception-dialog-expander""
{
GtkExpander::expander-spacing = 10
}
widget ""*.exception_dialog_expander"" style ""exception-dialog-expander""
");
expander.Child = widget;
expander.Spacing = 0;
expander.Show ();
expander.CanFocus = false;
expander.UseMarkup = true;
expander.Expanded = true;
expander.Activated += Expander_Activated;
expander.ModifyBg (StateType.Prelight, Ide.Gui.Styles.PrimaryBackgroundColor.ToGdkColor ());
return expander;
}
