is_deleting=true;
- DEBUGPOINT();
-
// Remove all of the dock books
for(;!dock_book_list.empty();dock_book_list.pop_front())
{
}
delete widget_comp_select;
-
- DEBUGPOINT();
}
void
void
DockDialog::refresh()
{
- synfig::info("dock_book_list.size()=%d",dock_book_list.size());
+ // synfig::info("dock_book_list.size()=%d",dock_book_list.size());
//remove();
if(dock_book_list.empty())