#include <gtkmm/eventbox.h>
#include <gtkmm/menu.h>
+#include "general.h"
+
#endif
/* === U S I N G =========================================================== */
return false;
Gtk::Menu *tabmenu=manage(new class Gtk::Menu());
+ tabmenu->signal_hide().connect(sigc::bind(sigc::ptr_fun(&delete_widget), tabmenu));
tabmenu->items().push_back(
Gtk::Menu_Helpers::StockMenuElem(Gtk::StockID("gtk-close"),