+void Panel::grab_pointer(Widget &wdg)
+{
+ if(pointer_grab==0 || pointer_focus==&wdg)
+ set_pointer_focus(&wdg, 255);
+ else
+ throw InvalidState("Pointer is already grabbed");
+}
+
+void Panel::ungrab_pointer(Widget &wdg)
+{
+ if(pointer_focus==&wdg)
+ set_pointer_focus(0, 0);
+ else if(pointer_grab>0)
+ throw Exception("Someone is trying to steal the pointer!");
+}
+