- // Set up the tool options dialog
- //options_table.attach(*manage(new Gtk::Label(_("Zoom Tool"))), 0, 2, 0, 1, Gtk::EXPAND|Gtk::FILL, Gtk::EXPAND|Gtk::FILL, 0, 0);
-
- load_settings();
-
- options_table.show_all();
-
- refresh_tool_options();
- App::dialog_tool_options->present();
-