The page stack must not move pointers on push/pop, or pushing a page in a page's init method may crash (as the pusher page will suddenly have moved, and the stack will be confused).
More...
The page stack must not move pointers on push/pop, or pushing a page in a page's init method may crash (as the pusher page will suddenly have moved, and the stack will be confused).
Therefore use std::deque over std::vector. Also the elements have to be destructed back to front.
◆ ~PageStackType()
CGUIManager::PageStackType::~PageStackType |
( |
| ) |
|
|
inline |
◆ clear()
void CGUIManager::PageStackType::clear |
( |
| ) |
|
|
inline |
The documentation for this class was generated from the following file:
- /home/docker/jenkins/workspace/technical-docs/source/gui/GUIManager.h