diff options
| -rw-r--r-- | src/com/vaadin/terminal/gwt/client/Util.java | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/Util.java b/src/com/vaadin/terminal/gwt/client/Util.java index 9c06554a6e..b442f789ee 100644 --- a/src/com/vaadin/terminal/gwt/client/Util.java +++ b/src/com/vaadin/terminal/gwt/client/Util.java @@ -1076,16 +1076,12 @@ public class Util { Paintable paintable = c.getPaintable(id); if (paintable != null) { VConsole.log("\t" + id + " (" + paintable.getClass() + ") :"); - for (String[] var : vars) { - VConsole.log("\t\t" + var[1] + " (" + var[2] + ")" + " : " - + var[0]); - } } else { VConsole.log("\t" + id + ": Warning: no corresponding paintable!"); - for (String[] var : vars) { - VConsole.log("\t\t" + var[1] + " (" + var[2] + ")" + " : " - + var[0]); - } + } + + for (String[] var : vars) { + VConsole.log("\t\t" + var[1] + " (" + var[2] + ")" + " : " + var[0]); } } |