import com.google.gwt.user.client.DOM;
import com.google.gwt.user.client.Element;
import com.google.gwt.user.client.Event;
+import com.google.gwt.user.client.EventPreview;
import com.google.gwt.user.client.Window;
import com.google.gwt.user.client.Window.Location;
import com.google.gwt.user.client.ui.Button;
}
}
+ private EventPreview dragpreview = new EventPreview() {
+
+ public boolean onEventPreview(Event event) {
+ onBrowserEvent(event);
+ return false;
+ }
+ };
+
public void onBrowserEvent(Event event) {
super.onBrowserEvent(event);
switch (DOM.eventGetType(event)) {
initialH = IDebugConsole.this.getOffsetHeight();
DOM.eventCancelBubble(event, true);
DOM.eventPreventDefault(event);
+ DOM.addEventPreview(dragpreview);
} else if (DOM.eventGetTarget(event) == caption) {
moving = true;
startX = DOM.eventGetScreenX(event);
origLeft = getAbsoluteLeft();
DOM.eventCancelBubble(event, true);
DOM.eventPreventDefault(event);
+ DOM.addEventPreview(dragpreview);
}
break;
DOM.releaseCapture(getElement());
moving = false;
}
+ DOM.removeEventPreview(dragpreview);
break;
case Event.ONDBLCLICK:
if (DOM.eventGetTarget(event) == caption) {
}
private void minimize() {
- setPixelSize(200, 100);
- setPopupPosition(Window.getClientWidth() - 210, 0);
+ setPixelSize(400, 150);
+ setPopupPosition(Window.getClientWidth() - 410, Window
+ .getClientHeight() - 160);
}
public void setPixelSize(int width, int height) {