Method pumpQueue

src/ui/manager.cpp:1247–1357

}

void Manager::pumpQueue()
{
#ifdef LIMIT_DISPATCH_TIME
  base::tick_t t = base::current_tick();
#endif

  Messages::iterator it = msg_queue.begin();
  while (it != msg_queue.end()) {
#ifdef LIMIT_DISPATCH_TIME
    if (base::current_tick()-t > 250)
      break;
#endif

    // The message to process
    Message* msg = *it;

    // Go to next message
    if (msg->isUsed()) {
      ++it;
      continue;
    }

    // This message is in use
    msg->markAsUsed();
    Message* first_msg = msg;

    // Call Timer::tick() if this is a tick message.
    if (msg->type() == kTimerMessage) {
      ASSERT(static_cast<TimerMessage*>(msg)->timer() != NULL);
      static_cast<TimerMessage*>(msg)->timer()->tick();
    }

    bool done = false;

    for (auto listener : m_messageListeners)
      done = listener->sendMessage(msg);

    for (auto widget : msg->recipients()) {
      if (!widget)
        continue;
      if (done)
        break;

#ifdef REPORT_EVENTS
      {
        std::cout << "Event " << msg->type() << " (" << ui::to_string(msg->type()) << ") "
                  << "for " << typeid(*widget).name();
        if (!widget->id().empty())
          std::cout << " (" << widget->id() << ")";
        std::cout << std::endl;
      }
#endif

      // We need to configure the clip region for paint messages
      // before we call Widget::sendMessage().
      if (msg->type() == kPaintMessage) {
        if (widget->hasFlags(HIDDEN))
          continue;