Method repaintIfNeeeded

dgl/src/ApplicationPrivateData.cpp:141–153

}

void Application::PrivateData::repaintIfNeeeded()
{
    if (needsRepaint)
    {
        needsRepaint = false;

        for (WindowListIterator it = windows.begin(), ite = windows.end(); it != ite; ++it)
        {
            DGL_NAMESPACE::Window* const window(*it);
            window->repaint();
        }
    }
}

void Application::PrivateData::quit()
{