public override Gtk.Widget CreatePanelWidget ()
		{
			panel = new OptionsPanelWidget (DocConfig.Instance);
			return panel;
		}
 public override Gtk.Widget CreatePanelWidget()
 {
     panel = new OptionsPanelWidget(DocConfig.Instance);
     return(panel);
 }