src/widget/window_event.cpp
branchcpp_gui
changeset 6280 57f6156a327d
parent 6271 0ad100a98853
--- a/src/widget/window_event.cpp	Sat Mar 03 11:20:46 2007 +0000
+++ b/src/widget/window_event.cpp	Sat Mar 03 11:46:05 2007 +0000
@@ -36,6 +36,11 @@
 	Release();
 }
 
+bool EventCaptureStack::CaptureTicket::IsActive() const
+{
+	return m_it != EventCaptureStack::GetInstance().m_handlers.end();
+}
+
 EventCaptureStack::CaptureTicket& EventCaptureStack::CaptureTicket::operator = (const CaptureTicket &src)
 {
 	Attach(src.Detach());