toggle_im_height->set_alignment(0, 0.5);
toggle_im_span=manage(new Gtk::CheckButton(_("Image _Span"), true));
toggle_im_span->set_alignment(0, 0.5);
toggle_im_height->set_alignment(0, 0.5);
toggle_im_span=manage(new Gtk::CheckButton(_("Image _Span"), true));
toggle_im_span->set_alignment(0, 0.5);
Gtk::VBox *panelBox = manage(new Gtk::VBox(false, 12)); // for future widgets
paddedPanel->add(*panelBox);
Gtk::VBox *panelBox = manage(new Gtk::VBox(false, 12)); // for future widgets
paddedPanel->add(*panelBox);
time_frame->set_shadow_type(Gtk::SHADOW_NONE);
((Gtk::Label *) time_frame->get_label_widget())->set_markup(_("<b>Time Settings</b>"));
panelBox->pack_start(*time_frame, false, false, 0);
time_frame->set_shadow_type(Gtk::SHADOW_NONE);
((Gtk::Label *) time_frame->get_label_widget())->set_markup(_("<b>Time Settings</b>"));
panelBox->pack_start(*time_frame, false, false, 0);