**
** This package is free software; you can redistribute it and/or
** modify it under the terms of the GNU General Public License as
**
** This package is free software; you can redistribute it and/or
** modify it under the terms of the GNU General Public License as
for(int i(0);i!=const_cast<DockBook*>(this)->get_n_pages();i++)
{
Dockable& dockable(static_cast<Dockable&>(*const_cast<DockBook*>(this)->get_nth_page(i)));
for(int i(0);i!=const_cast<DockBook*>(this)->get_n_pages();i++)
{
Dockable& dockable(static_cast<Dockable&>(*const_cast<DockBook*>(this)->get_nth_page(i)));
for(int i(0);i!=const_cast<DockBook*>(this)->get_n_pages();i++)
{
Dockable& dockable(static_cast<Dockable&>(*const_cast<DockBook*>(this)->get_nth_page(i)));
for(int i(0);i!=const_cast<DockBook*>(this)->get_n_pages();i++)
{
Dockable& dockable(static_cast<Dockable&>(*const_cast<DockBook*>(this)->get_nth_page(i)));
dock=String(str.begin(),str.begin()+separator);
str=String(str.begin()+separator+1,str.end());
}
dock=String(str.begin(),str.begin()+separator);
str=String(str.begin()+separator+1,str.end());
}
tabmenu->items().push_back(
Gtk::Menu_Helpers::StockMenuElem(Gtk::StockID("gtk-close"),
sigc::mem_fun(*dockable,&Dockable::detach)
tabmenu->items().push_back(
Gtk::Menu_Helpers::StockMenuElem(Gtk::StockID("gtk-close"),
sigc::mem_fun(*dockable,&Dockable::detach)