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