void WorkAreaManager::redrawAll(bool update_metrics)
{
for (WorkArea * wa : work_areas_)
- wa->redraw(update_metrics);
+ wa->scheduleRedraw(update_metrics);
}
}
-bool WorkAreaManager::unhide(Buffer * buf)
+bool WorkAreaManager::unhide(Buffer * buf) const
{
if (!work_areas_.empty())
return true;