/*! \file dockbook.cpp
** \brief Template File
**
-** $Id: dockbook.cpp,v 1.1.1.1 2005/01/07 03:34:36 darco Exp $
+** $Id$
**
** \legal
** Copyright (c) 2002-2005 Robert B. Quattlebaum Jr., Adrian Bentley
#include <gtkmm/eventbox.h>
#include <gtkmm/menu.h>
+#include "general.h"
+
#endif
/* === U S I N G =========================================================== */
DockBook::clear()
{
while(get_n_pages())
- {
remove(static_cast<Dockable&>(*get_nth_page(get_n_pages()-1)));
- }
}
void
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"),