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"
39main(
int argc,
char **argv)
42 Gtk::Main kit(argc, argv);
47 Glib::RefPtr<Gtk::Builder> builder;
49 builder = Gtk::Builder::create_from_file(UI_FILE);
50 }
catch (Gtk::BuilderError &e) {
51 printf(
"Failed to create GUI: %s\n", e.what().c_str());
55 builder->get_widget_derived(
"wndMain", window);
60 }
catch (std::exception
const &e) {
61 std::cerr <<
"Error: " << e.what() << std::endl;
Graphical plugin management tool.