Properly react HistoryManager::cleared() signal