42
42
about the selected extension. A handler is set up so that when
43
43
a new extension is selected, the notebooks are changed appropriately.
48
48
_notebook_info.set_policy(Gtk::POLICY_AUTOMATIC, Gtk::POLICY_AUTOMATIC);
49
49
_notebook_help.set_policy(Gtk::POLICY_AUTOMATIC, Gtk::POLICY_AUTOMATIC);