01: /*
02: * GWT-Ext Widget Library
03: * Copyright(c) 2007-2008, GWT-Ext.
04: * licensing@gwt-ext.com
05: *
06: * http://www.gwt-ext.com/license
07: */
08:
09: package com.gwtext.client.dd;
10:
11: import com.google.gwt.user.client.Element;
12:
13: /**
14: * Provides automatic scrolling of overflow regions in the page during drag operations.
15: */
16: public class ScrollManager {
17:
18: /**
19: * Manually trigger a cache refresh.
20: */
21: public static native void refreshCache()/*-{
22: $wnd.Ext.dd.ScrollManager.refreshCache();
23: }-*/;
24:
25: /**
26: * Registers a new overflow element to auto scroll.
27: *
28: * @param elementID the element ID
29: */
30: public static native void register(String elementID)/*-{
31: $wnd.Ext.dd.ScrollManager.register(elementID);
32: }-*/;
33:
34: /**
35: * Registers a new overflow element to auto scroll.
36: *
37: * @param element the element
38: */
39: public static native void register(Element element)/*-{
40: $wnd.Ext.dd.ScrollManager.register(element);
41: }-*/;
42:
43: /**
44: * Unregisters an overflow element so it are no longer scrolled.
45: *
46: * @param elementID the lement ID
47: */
48: public static native void unregister(String elementID)/*-{
49: $wnd.Ext.dd.ScrollManager.unregister(elementID);
50: }-*/;
51:
52: /**
53: * Unregisters an overflow element so it are no longer scrolled.
54: *
55: * @param element the element
56: */
57: public static native void unregister(Element element)/*-{
58: $wnd.Ext.dd.ScrollManager.unregister(element);
59: }-*/;
60:
61: }
|