public void Add (PropertyEditor editor) { editors.Add (editor); if (cs != null) editor.ChangeSet = cs; editor.Setup (); }
/* CheckButton MakeCheckButton (string label_text) { Gtk.Label label = MakeLabel (label_text); Gtk.CheckButton check = new Gtk.CheckButton (); check.Add (label); check.Show (); return check; } */ /* Gtk.Label MakeTipLabel (string label_text) { Gtk.Label label = MakeLabel (String.Format ("<small>{0}</small>", label_text)); label.LineWrap = true; label.Xpad = 20; return label; } Gtk.RadioButton MakeRadioButton (string label_text) { RadioButton radio = new RadioButton (label_text); radio.Show (); return radio; } Gtk.RadioButton MakeRadioButton (RadioButton group, string label_text) { RadioButton radio = new RadioButton (group, label_text); radio.Show (); return radio; } */ void SetupPropertyEditor(PropertyEditor peditor) { // Ensure the key exists Preferences.Get (peditor.Key); peditor.Setup (); }