23 #include <core/exception.h> 24 #include <tools/plugin_gui/plugin_gui.h> 30 #if GTK_VERSION_GE(3,0) 31 # define UI_FILE RESDIR"/guis/plugin_tool/plugin_gui.ui" 33 # define UI_FILE RESDIR"/guis/plugin_tool/plugin_gui_gtk2.ui" 39 int main(
int argc,
char** argv)
43 Gtk::Main kit(argc, argv);
48 Glib::RefPtr<Gtk::Builder> builder;
51 Gtk::Builder::create_from_file(UI_FILE);
52 }
catch (Gtk::BuilderError &e) {
53 printf(
"Failed to create GUI: %s\n", e.what().c_str());
57 builder->get_widget_derived(
"wndMain", window);
63 catch (std::exception
const& e)
65 std::cerr <<
"Error: " << e.what() << std::endl;
Graphical plugin management tool.