Author: lgiessmann Date: Fri Jul 22 07:06:37 2011 New Revision: 665 Log: gdl-frontend: Widgets: fixed a bug with GdlVisibleObject when setting the css property float in firefox => currently the properties float, cssFloat and styleFloat are set at once when a float value is present Modified: branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/GdlVisibleObject.java branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/text/GdlReference.java Modified: branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/GdlVisibleObject.java ============================================================================== --- branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/GdlVisibleObject.java Fri Jul 22 06:58:12 2011 (r664) +++ branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/GdlVisibleObject.java Fri Jul 22 07:06:37 2011 (r665) @@ -1145,8 +1145,10 @@ // sets the float style property of this element by using the GWT DOM class public void setFloat(Float value){ - if(value != null){ + if(value != null){ // captures some inconsequent implementations over the browsers DOM.setStyleAttribute(this.mainPanel.getElement(), "float", value.getCssName()); + DOM.setStyleAttribute(this.mainPanel.getElement(), "cssFloat", value.getCssName()); + DOM.setStyleAttribute(this.mainPanel.getElement(), "styleFloat", value.getCssName()); } } Modified: branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/text/GdlReference.java ============================================================================== --- branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/text/GdlReference.java Fri Jul 22 06:58:12 2011 (r664) +++ branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/text/GdlReference.java Fri Jul 22 07:06:37 2011 (r665) @@ -12,7 +12,6 @@ import com.google.gwt.event.dom.client.HasFocusHandlers; import com.google.gwt.event.shared.HandlerRegistration; import com.google.gwt.user.client.DOM; -import com.google.gwt.user.client.Element; import com.google.gwt.user.client.Window; import com.google.gwt.user.client.ui.Label; import com.google.gwt.user.client.ui.Widget;