forked from mirrors/0ad
42e67be0ee
Because the page stack is a vector, if during PushPage, a new page is pushed, the vector may re-allocate. This 'pulls the rug out' from underneath the code stack that originally pushed, which then crashes. To fix this, use a deque, since push/pop won't invalidate references. Reported by: Imarok. Based on a patch by: Imarok (tests are his) Differential Revision: https://code.wildfiregames.com/D4037 This was SVN commit r25616.
5 lines
115 B
XML
5 lines
115 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<objects>
|
|
<script file="gui/regainFocus/pushWithPopOnInit.js"/>
|
|
</objects>
|