|
@@ -1,16 +1,15 @@ |
1 |
1 |
|
// This Source Code is in the Public Domain per: http://unlicense.org |
2 |
2 |
|
package org.litesoft.GWT.client.widgets; |
3 |
3 |
|
|
4 |
|
- |
import java.util.*; |
5 |
|
- |
|
6 |
4 |
|
import org.litesoft.GWT.client.widgets.nonpublic.*; |
7 |
5 |
|
|
8 |
6 |
|
import com.google.gwt.user.client.ui.*; |
9 |
7 |
|
|
|
8 |
+ |
import java.util.*; |
|
9 |
+ |
|
10 |
10 |
|
public class SizeableScrollPanel extends AbstractSizeableComposite implements SourcesScrollEvents, |
11 |
11 |
|
ScrollListener, |
12 |
|
- |
SizeableSingleWidgetContainer |
13 |
|
- |
{ |
|
12 |
+ |
SizeableSingleWidgetContainer { |
14 |
13 |
|
private ScrollListenerCollection scrollListeners; |
15 |
14 |
|
|
16 |
15 |
|
protected ScrollPanel mScrollPanel = new ScrollPanel(); |
|
@@ -18,8 +17,7 @@ |
18 |
17 |
|
/** |
19 |
18 |
|
* Creates an empty SizeableScrollPanel. |
20 |
19 |
|
*/ |
21 |
|
- |
public SizeableScrollPanel() |
22 |
|
- |
{ |
|
20 |
+ |
public SizeableScrollPanel() { |
23 |
21 |
|
mScrollPanel.setWidth( "200" ); |
24 |
22 |
|
mScrollPanel.setHeight( "160" ); |
25 |
23 |
|
initWidget( new ConstrainingSizeableOuterLayers( mScrollPanel, "LayoutSizeableScrollPanel" ) ); |
|
@@ -35,32 +33,26 @@ |
35 |
33 |
|
* |
36 |
34 |
|
* @param child the widget to be wrapped by the scroll panel |
37 |
35 |
|
*/ |
38 |
|
- |
public SizeableScrollPanel( Widget child ) |
39 |
|
- |
{ |
|
36 |
+ |
public SizeableScrollPanel( Widget child ) { |
40 |
37 |
|
this(); |
41 |
38 |
|
mScrollPanel.setWidget( child ); |
42 |
39 |
|
} |
43 |
40 |
|
|
44 |
|
- |
public SizeableScrollPanel style( String pStyleName ) |
45 |
|
- |
{ |
|
41 |
+ |
public SizeableScrollPanel style( String pStyleName ) { |
46 |
42 |
|
addStyleName( pStyleName ); |
47 |
43 |
|
return this; |
48 |
44 |
|
} |
49 |
45 |
|
|
50 |
46 |
|
@Override |
51 |
|
- |
public void onScroll( Widget widget, int scrollLeft, int scrollTop ) |
52 |
|
- |
{ |
53 |
|
- |
if ( scrollListeners != null ) |
54 |
|
- |
{ |
|
47 |
+ |
public void onScroll( Widget widget, int scrollLeft, int scrollTop ) { |
|
48 |
+ |
if ( scrollListeners != null ) { |
55 |
49 |
|
scrollListeners.fireScroll( this, scrollLeft, scrollTop ); |
56 |
50 |
|
} |
57 |
51 |
|
} |
58 |
52 |
|
|
59 |
53 |
|
@Override |
60 |
|
- |
public void addScrollListener( ScrollListener listener ) |
61 |
|
- |
{ |
62 |
|
- |
if ( scrollListeners == null ) |
63 |
|
- |
{ |
|
54 |
+ |
public void addScrollListener( ScrollListener listener ) { |
|
55 |
+ |
if ( scrollListeners == null ) { |
64 |
56 |
|
scrollListeners = new ScrollListenerCollection(); |
65 |
57 |
|
mScrollPanel.addScrollListener( this ); |
66 |
58 |
|
} |
|
@@ -73,8 +65,7 @@ |
73 |
65 |
|
* |
74 |
66 |
|
* @param item the item whose visibility is to be ensured |
75 |
67 |
|
*/ |
76 |
|
- |
public void ensureVisible( UIObject item ) |
77 |
|
- |
{ |
|
68 |
+ |
public void ensureVisible( UIObject item ) { |
78 |
69 |
|
mScrollPanel.ensureVisible( item ); |
79 |
70 |
|
} |
80 |
71 |
|
|
|
@@ -83,8 +74,7 @@ |
83 |
74 |
|
* |
84 |
75 |
|
* @return the horizontal scroll position, in pixels |
85 |
76 |
|
*/ |
86 |
|
- |
public int getHorizontalScrollPosition() |
87 |
|
- |
{ |
|
77 |
+ |
public int getHorizontalScrollPosition() { |
88 |
78 |
|
return mScrollPanel.getHorizontalScrollPosition(); |
89 |
79 |
|
} |
90 |
80 |
|
|
|
@@ -93,19 +83,15 @@ |
93 |
83 |
|
* |
94 |
84 |
|
* @return the vertical scroll position, in pixels |
95 |
85 |
|
*/ |
96 |
|
- |
public int getScrollPosition() |
97 |
|
- |
{ |
|
86 |
+ |
public int getScrollPosition() { |
98 |
87 |
|
return mScrollPanel.getScrollPosition(); |
99 |
88 |
|
} |
100 |
89 |
|
|
101 |
90 |
|
@Override |
102 |
|
- |
public void removeScrollListener( ScrollListener listener ) |
103 |
|
- |
{ |
104 |
|
- |
if ( scrollListeners != null ) |
105 |
|
- |
{ |
|
91 |
+ |
public void removeScrollListener( ScrollListener listener ) { |
|
92 |
+ |
if ( scrollListeners != null ) { |
106 |
93 |
|
scrollListeners.remove( listener ); |
107 |
|
- |
if ( scrollListeners.isEmpty() ) |
108 |
|
- |
{ |
|
94 |
+ |
if ( scrollListeners.isEmpty() ) { |
109 |
95 |
|
scrollListeners = null; |
110 |
96 |
|
mScrollPanel.removeScrollListener( this ); |
111 |
97 |
|
} |
|
@@ -117,8 +103,7 @@ |
117 |
103 |
|
* |
118 |
104 |
|
* @param position the new horizontal scroll position, in pixels |
119 |
105 |
|
*/ |
120 |
|
- |
public void setHorizontalScrollPosition( int position ) |
121 |
|
- |
{ |
|
106 |
+ |
public void setHorizontalScrollPosition( int position ) { |
122 |
107 |
|
mScrollPanel.setHorizontalScrollPosition( position ); |
123 |
108 |
|
} |
124 |
109 |
|
|
|
@@ -127,8 +112,7 @@ |
127 |
112 |
|
* |
128 |
113 |
|
* @param position the new vertical scroll position, in pixels |
129 |
114 |
|
*/ |
130 |
|
- |
public void setScrollPosition( int position ) |
131 |
|
- |
{ |
|
115 |
+ |
public void setScrollPosition( int position ) { |
132 |
116 |
|
mScrollPanel.setScrollPosition( position ); |
133 |
117 |
|
} |
134 |
118 |
|
|
|
@@ -138,8 +122,7 @@ |
138 |
122 |
|
* @param w the child widget to be added |
139 |
123 |
|
*/ |
140 |
124 |
|
@Override |
141 |
|
- |
public void add( Widget w ) |
142 |
|
- |
{ |
|
125 |
+ |
public void add( Widget w ) { |
143 |
126 |
|
mScrollPanel.add( w ); |
144 |
127 |
|
} |
145 |
128 |
|
|
|
@@ -149,20 +132,17 @@ |
149 |
132 |
|
* @return the child widget, or <code>null</code> if none is present |
150 |
133 |
|
*/ |
151 |
134 |
|
@Override |
152 |
|
- |
public Widget getWidget() |
153 |
|
- |
{ |
|
135 |
+ |
public Widget getWidget() { |
154 |
136 |
|
return mScrollPanel.getWidget(); |
155 |
137 |
|
} |
156 |
138 |
|
|
157 |
139 |
|
@Override |
158 |
|
- |
public Iterator<Widget> iterator() |
159 |
|
- |
{ |
|
140 |
+ |
public Iterator<Widget> iterator() { |
160 |
141 |
|
return mScrollPanel.iterator(); |
161 |
142 |
|
} |
162 |
143 |
|
|
163 |
144 |
|
@Override |
164 |
|
- |
public boolean remove( Widget w ) |
165 |
|
- |
{ |
|
145 |
+ |
public boolean remove( Widget w ) { |
166 |
146 |
|
return mScrollPanel.remove( w ); |
167 |
147 |
|
} |
168 |
148 |
|
|
|
@@ -172,14 +152,12 @@ |
172 |
152 |
|
* @param pWidget |
173 |
153 |
|
*/ |
174 |
154 |
|
@Override |
175 |
|
- |
public void setWidget( Widget pWidget ) |
176 |
|
- |
{ |
|
155 |
+ |
public void setWidget( Widget pWidget ) { |
177 |
156 |
|
mScrollPanel.setWidget( pWidget ); |
178 |
157 |
|
} |
179 |
158 |
|
|
180 |
159 |
|
@Override |
181 |
|
- |
public void clear() |
182 |
|
- |
{ |
|
160 |
+ |
public void clear() { |
183 |
161 |
|
mScrollPanel.clear(); |
184 |
162 |
|
} |
185 |
163 |
|
} |