X-Git-Url: https://git.pterodactylus.net/?a=blobdiff_plain;f=synfig-studio%2Ftrunk%2Fsrc%2Fgtkmm%2Fdockbook.cpp;h=5d1a4601679e0024db886c49d51fed72a16dd7a7;hb=3624aac2a6e2dc3824ae22e99e2608f93f285e61;hp=a7470f9ff3afd4d6aa9be11b378a15f2b2beaca5;hpb=837b63e9fb829d66d43f4f169861f8979f76820d;p=synfig.git

diff --git a/synfig-studio/trunk/src/gtkmm/dockbook.cpp b/synfig-studio/trunk/src/gtkmm/dockbook.cpp
index a7470f9..5d1a460 100644
--- a/synfig-studio/trunk/src/gtkmm/dockbook.cpp
+++ b/synfig-studio/trunk/src/gtkmm/dockbook.cpp
@@ -38,6 +38,8 @@
 #include <gtkmm/eventbox.h>
 #include <gtkmm/menu.h>
 
+#include "general.h"
+
 #endif
 
 /* === U S I N G =========================================================== */
@@ -79,9 +81,7 @@ void
 DockBook::clear()
 {
 	while(get_n_pages())
-	{
 		remove(static_cast<Dockable&>(*get_nth_page(get_n_pages()-1)));
-	}
 }
 
 void
@@ -240,6 +240,7 @@ DockBook::tab_button_pressed(GdkEventButton* event, Dockable* dockable)
 		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"),