Lines Matching refs:SessionWindow
570 std::vector<const SessionWindow*> session;
571 SessionWindow window;
594 session.push_back(static_cast<const SessionWindow*>(&window));
629 // The SessionWindow destructor deletes the tabs, so we have to clear them
