summaryrefslogtreecommitdiff
path: root/src/gui/widgets/windowcontainer.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui/widgets/windowcontainer.h')
-rw-r--r--src/gui/widgets/windowcontainer.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/widgets/windowcontainer.h b/src/gui/widgets/windowcontainer.h
index 10c96e88d..0c04849e6 100644
--- a/src/gui/widgets/windowcontainer.h
+++ b/src/gui/widgets/windowcontainer.h
@@ -25,6 +25,8 @@
#include "gui/widgets/container.h"
+#include <set>
+
/**
* A window container. This container adds functionality for more convenient
* widget (windows in particular) destruction.
@@ -67,6 +69,7 @@ class WindowContainer notfinal : public Container
typedef STD_VECTOR<Widget*> Widgets;
typedef Widgets::iterator WidgetIterator;
Widgets mDeathList;
+ std::set<Widget*> mDeathSet;
};
extern WindowContainer *windowContainer;