Fixed GWT incompatibility

svn changeset:11396/svn branch:6.2

diff --git a/src/com/vaadin/terminal/gwt/client/VDebugConsole.java b/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
index 172e4df6278c29c6f7c86a24ac670f71ab003587..ff3f04ca8589e010e0ca079b942be7a86bfdbb8b 100755 (executable)
--- a/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
+++ b/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
@@ -8,7 +8,6 @@ import java.util.List;
 import java.util.Set;
 
 import com.google.gwt.core.client.JsArray;
-import com.google.gwt.dom.client.Style.FontWeight;
 import com.google.gwt.event.dom.client.ClickEvent;
 import com.google.gwt.event.dom.client.ClickHandler;
 import com.google.gwt.user.client.DOM;
@@ -325,8 +324,8 @@ public final class VDebugConsole extends VOverlay implements Console {
         }
 
         HTML html = new HTML(msg);
-        html.getElement().getStyle().setColor("#f00");
-        html.getElement().getStyle().setFontWeight(FontWeight.BOLD);
+        html.getElement().getStyle().setProperty("color", "#f00");
+        html.getElement().getStyle().setProperty("font-weight", "bold");
         panel.add(html);
         System.err.println(msg);
         consoleErr(msg);