/** * Regenerates the label for each tab in the @em tabsbar. */ void app_rebuild_documents_tabs() { UIContext* context = UIContext::instance(); const Documents& docs = context->getDocuments(); // Insert all other sprites for (Documents::const_iterator it = docs.begin(), end = docs.end(); it != end; ++it) { const Document* document = *it; app_update_document_tab(document); } }