litesoft
Diff Revisions
917
vs
948
for /trunk/Java/GWT/Client/src/org/litesoft/GWT/client/widgets/range/SliderHTML5InputRange.java
|
@@ -5,12 +5,10 @@ |
5 |
5 |
|
import com.google.gwt.user.client.*; |
6 |
6 |
|
import com.google.gwt.user.client.ui.*; |
7 |
7 |
|
|
8 |
|
- |
public class SliderHTML5InputRange extends ValueBoxBase<Integer> implements Slider |
9 |
|
- |
{ |
|
8 |
+ |
public class SliderHTML5InputRange extends ValueBoxBase<Integer> implements Slider { |
10 |
9 |
|
private final int mMin, mStep, mMax; |
11 |
10 |
|
|
12 |
|
- |
public SliderHTML5InputRange( int pMin, int pStep, int pMax ) |
13 |
|
- |
{ |
|
11 |
+ |
public SliderHTML5InputRange( int pMin, int pStep, int pMax ) { |
14 |
12 |
|
super( createInputElement(), IntegerRenderer.instance(), IntegerParser.instance() ); |
15 |
13 |
|
com.google.gwt.user.client.Element zElement = getElement(); |
16 |
14 |
|
setAttribute( zElement, "min", mMin = pMin ); |
|
@@ -19,35 +17,29 @@ |
19 |
17 |
|
} |
20 |
18 |
|
|
21 |
19 |
|
@Override |
22 |
|
- |
public Widget getWidget() |
23 |
|
- |
{ |
|
20 |
+ |
public Widget getWidget() { |
24 |
21 |
|
return this; |
25 |
22 |
|
} |
26 |
23 |
|
|
27 |
|
- |
public int getMin() |
28 |
|
- |
{ |
|
24 |
+ |
public int getMin() { |
29 |
25 |
|
return mMin; |
30 |
26 |
|
} |
31 |
27 |
|
|
32 |
|
- |
public int getStep() |
33 |
|
- |
{ |
|
28 |
+ |
public int getStep() { |
34 |
29 |
|
return mStep; |
35 |
30 |
|
} |
36 |
31 |
|
|
37 |
|
- |
public int getMax() |
38 |
|
- |
{ |
|
32 |
+ |
public int getMax() { |
39 |
33 |
|
return mMax; |
40 |
34 |
|
} |
41 |
35 |
|
|
42 |
|
- |
private static Element createInputElement() |
43 |
|
- |
{ |
|
36 |
+ |
private static Element createInputElement() { |
44 |
37 |
|
Element input = DOM.createElement( "INPUT" ); |
45 |
38 |
|
input.setAttribute( "type", "range" ); |
46 |
39 |
|
return input; |
47 |
40 |
|
} |
48 |
41 |
|
|
49 |
|
- |
private static void setAttribute( com.google.gwt.user.client.Element pElement, String pName, int pValue ) |
50 |
|
- |
{ |
|
42 |
+ |
private static void setAttribute( com.google.gwt.user.client.Element pElement, String pName, int pValue ) { |
51 |
43 |
|
pElement.setAttribute( pName, Integer.toString( pValue ) ); |
52 |
44 |
|
} |
53 |
45 |
|
} |