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