commit ef31b33d43af410cb4a435d86fc3095db7d74e8c
author gwt.team.knorton <gwt.team.knorton@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Fri Jul 06 03:41:27 2007 +0000
committer gwt.team.knorton <gwt.team.knorton@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Fri Jul 06 03:41:27 2007 +0000
tree 0c34bd92d3195e77126eb5d9588931690abf3ad0
parent 70d8ca82ae6fe55fcb832b06b1fe304ffc96726f

Fixes issue #1253.
Adds mouse capture to SplitPanels.

Review by: jgw



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1224 8db76d5a-ed1c-0410-87a9-c151d255dfc7

user/src/com/google/gwt/user/client/ui/SplitPanel.java

diff --git a/user/src/com/google/gwt/user/client/ui/SplitPanel.java b/user/src/com/google/gwt/user/client/ui/SplitPanel.java
index f96d68d..6395c00 100644
--- a/user/src/com/google/gwt/user/client/ui/SplitPanel.java
+++ b/user/src/com/google/gwt/user/client/ui/SplitPanel.java
@@ -142,18 +142,21 @@
         if (DOM.isOrHasChild(splitElem, target)) {
           startResizingFrom(DOM.eventGetClientX(event) - getAbsoluteLeft(),
               DOM.eventGetClientY(event) - getAbsoluteTop());
+          DOM.setCapture(getElement());
           DOM.eventPreventDefault(event);
         }
         break;
       }
 
       case Event.ONMOUSEUP: {
+        DOM.releaseCapture(getElement());
         stopResizing();
         break;
       }
 
       case Event.ONMOUSEMOVE: {
         if (isResizing()) {
+          assert DOM.getCaptureElement() != null;
           onSplitterResize(DOM.eventGetClientX(event) - getAbsoluteLeft(),
               DOM.eventGetClientY(event) - getAbsoluteTop());
           DOM.eventPreventDefault(event);