Searched refs:WindowClosingIDs (Results 1 – 1 of 1) sorted by relevance
430 typedef std::set<SessionID::id_type> WindowClosingIDs; typedef431 WindowClosingIDs window_closing_ids_;