// Set up the window
//set_type_hint(Gdk::WINDOW_TYPE_HINT_UTILITY);
- set_title(_("Dock Dialog"));
+ set_title(_("Dock Panel"));
// Register with the dock manager
App::dock_manager->dock_dialog_list_.push_back(this);
bool
DockDialog::close()
{
- synfig::info("DockDialog::close(): DELETED!");
+ if (getenv("SYNFIG_DEBUG_DESTRUCTORS"))
+ synfig::info("DockDialog::close(): Deleted");
+
empty_sig.disconnect();
//get_dock_book().clear();
delete this;
set_title(title);
}
else
- set_title(_("Empty Dock Dialog"));
+ set_title(_("Empty Dock Panel"));
}