litesoft
Diff Revisions
947
vs
948
for /trunk/Java/GWT/Client/src/org/litesoft/GWT/client/widgets/SpanPanel.java
|
@@ -6,13 +6,11 @@ |
6 |
6 |
|
import com.google.gwt.user.client.*; |
7 |
7 |
|
import com.google.gwt.user.client.ui.*; |
8 |
8 |
|
|
9 |
|
- |
public class SpanPanel extends ComplexPanel |
10 |
|
- |
{ |
|
9 |
+ |
public class SpanPanel extends ComplexPanel { |
11 |
10 |
|
/** |
12 |
11 |
|
* Creates an HTML panel based on a span. |
13 |
12 |
|
*/ |
14 |
|
- |
public SpanPanel() |
15 |
|
- |
{ |
|
13 |
+ |
public SpanPanel() { |
16 |
14 |
|
setElement( DOM.createSpan() ); |
17 |
15 |
|
} |
18 |
16 |
|
|
|
@@ -21,8 +19,7 @@ |
21 |
19 |
|
* |
22 |
20 |
|
* @param html the panel's HTML |
23 |
21 |
|
*/ |
24 |
|
- |
public SpanPanel( @Nullable String html ) |
25 |
|
- |
{ |
|
22 |
+ |
public SpanPanel( @Nullable String html ) { |
26 |
23 |
|
this(); |
27 |
24 |
|
/* |
28 |
25 |
|
* Normally would call this("div", html), but that method |
|
@@ -37,8 +34,7 @@ |
37 |
34 |
|
* |
38 |
35 |
|
* @param safeHtml the html to set. |
39 |
36 |
|
*/ |
40 |
|
- |
public SpanPanel( @NotNull SafeHtml safeHtml ) |
41 |
|
- |
{ |
|
37 |
+ |
public SpanPanel( @NotNull SafeHtml safeHtml ) { |
42 |
38 |
|
this( safeHtml.asString() ); |
43 |
39 |
|
} |
44 |
40 |
|
|
|
@@ -47,10 +43,8 @@ |
47 |
43 |
|
* |
48 |
44 |
|
* @param elem the element to add |
49 |
45 |
|
*/ |
50 |
|
- |
public void add( @Nullable com.google.gwt.dom.client.Element elem ) |
51 |
|
- |
{ |
52 |
|
- |
if ( elem != null ) |
53 |
|
- |
{ |
|
46 |
+ |
public void add( @Nullable com.google.gwt.dom.client.Element elem ) { |
|
47 |
+ |
if ( elem != null ) { |
54 |
48 |
|
getElement().appendChild( elem ); |
55 |
49 |
|
} |
56 |
50 |
|
} |
|
@@ -61,10 +55,8 @@ |
61 |
55 |
|
* @param widget the widget to be added |
62 |
56 |
|
*/ |
63 |
57 |
|
@Override |
64 |
|
- |
public void add( @Nullable Widget widget ) |
65 |
|
- |
{ |
66 |
|
- |
if ( widget != null ) |
67 |
|
- |
{ |
|
58 |
+ |
public void add( @Nullable Widget widget ) { |
|
59 |
+ |
if ( widget != null ) { |
68 |
60 |
|
add( widget, getElement() ); |
69 |
61 |
|
} |
70 |
62 |
|
} |