Author: lgiessmann Date: Fri Jul 1 10:15:30 2011 New Revision: 550
Log: gdl-frontend: Widgets: implemented some methods that set the element's style properties
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/TestClass.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 1 09:05:04 2011 (r549) +++ branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/GdlVisibleObject.java Fri Jul 1 10:15:30 2011 (r550) @@ -1177,6 +1177,257 @@ } + // sets the vertical-align style property of this element by using the GWT DOM class + public void setVerticalAlign(VerticalAlign value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "verticalAlign", value.getCssName()); + } + } + + + // sets the margin style property of this element by using the GWT DOM class + public void setMargin(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "margin", value.getCssValue()); + } + } + + + // sets the margin-top style property of this element by using the GWT DOM class + public void setMarginTop(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "marginTop", value.getCssValue()); + } + } + + + // sets the margin-right style property of this element by using the GWT DOM class + public void setMarginRight(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "marginRight", value.getCssValue()); + } + } + + + // sets the margin-bottom style property of this element by using the GWT DOM class + public void setMarginBottom(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "marginBottom", value.getCssValue()); + } + } + + + // sets the margin-left style property of this element by using the GWT DOM class + public void setMarginLeft(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "marginLeft", value.getCssValue()); + } + } + + + // sets the border-color style property of this element by using the GWT DOM class + public void setBorderColor(ColorValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderColor", value.getCssValue()); + } + } + + + // sets the border-top-color style property of this element by using the GWT DOM class + public void setBorderTopColor(ColorValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderTopColor", value.getCssValue()); + } + } + + + // sets the border-right-color style property of this element by using the GWT DOM class + public void setBorderRightColor(ColorValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderRightColor", value.getCssValue()); + } + } + + + // sets the border-bottom-color style property of this element by using the GWT DOM class + public void setBorderBottomColor(ColorValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderBottomColor", value.getCssValue()); + } + } + + + // sets the border-left-color style property of this element by using the GWT DOM class + public void setBorderLeftColor(ColorValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderLeftColor", value.getCssValue()); + } + } + + + // sets the border-style style property of this element by using the GWT DOM class + public void setBorderStyle(BorderStyleValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderStyle", value.getCssValue()); + } + } + + + // sets the border-top-style style property of this element by using the GWT DOM class + public void setBorderTopStyle(BorderStyleValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderTopStyle", value.getCssValue()); + } + } + + + // sets the border-right-style style property of this element by using the GWT DOM class + public void setBorderRightStyle(BorderStyleValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderRightStyle", value.getCssValue()); + } + } + + + // sets the border-bottom-style style property of this element by using the GWT DOM class + public void setBorderBottomStyle(BorderStyleValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderBottomStyle", value.getCssValue()); + } + } + + + // sets the border-left-style style property of this element by using the GWT DOM class + public void setBorderLeftStyle(BorderStyleValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderLeftStyle", value.getCssValue()); + } + } + + + // sets the border-width style property of this element by using the GWT DOM class + public void setBorderWidth(AbsoluteNumValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderWidth", value.getCssValue()); + } + } + + + // sets the border-width style property of this element by using the GWT DOM class + public void setBorderTopWidth(AbsoluteNumValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderTopWidth", value.getCssValue()); + } + } + + + // sets the border-width style property of this element by using the GWT DOM class + public void setBorderRightWidth(AbsoluteNumValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderRightWidth", value.getCssValue()); + } + } + + + // sets the border-width style property of this element by using the GWT DOM class + public void setBorderBottomWidth(AbsoluteNumValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderBottomWidth", value.getCssValue()); + } + } + + + // sets the border-width style property of this element by using the GWT DOM class + public void setBorderLeftWidth(AbsoluteNumValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderLeftWidth", value.getCssValue()); + } + } + + + // sets the border-radius style property of this element by using the GWT DOM class + public void setBorderRadius(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderRadius", value.getCssValue()); + } + } + + + // sets the border-top-right-radius style property of this element by using the GWT DOM class + public void setBorderTopRightRadius(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderTopRightRadius", value.getCssValue()); + } + } + + + // sets the border-bottom-right-radius style property of this element by using the GWT DOM class + public void setBorderBottomRightRadius(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderBottomRightRadius", value.getCssValue()); + } + } + + + // sets the border-bottom-left-radius style property of this element by using the GWT DOM class + public void setBorderBottomLeftRadius(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderBottomLeftRadius", value.getCssValue()); + } + } + + + // sets the border-top-left-radius style property of this element by using the GWT DOM class + public void setBorderTopLeftRadius(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "borderTopLeftRadius", value.getCssValue()); + } + } + + + // sets the padding style property of this element by using the GWT DOM class + public void setPadding(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "padding", value.getCssValue()); + } + } + + + // sets the padding-top style property of this element by using the GWT DOM class + public void setPaddingTop(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "paddingTop", value.getCssValue()); + } + } + + + // sets the padding-right style property of this element by using the GWT DOM class + public void setPaddingRight(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "paddingRight", value.getCssValue()); + } + } + + + // sets the padding-bottom style property of this element by using the GWT DOM class + public void setPaddingBottom(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "paddingBottom", value.getCssValue()); + } + } + + + // sets the padding-left style property of this element by using the GWT DOM class + public void setPaddingLeft(NumUnitValue value){ + if(value != null){ + DOM.setStyleAttribute(this.getElement(), "paddingLeft", value.getCssValue()); + } + } + + + // TODO: handle styleClass in the setterMethods + + public void setGdlStyle(){ // TODO: implement }
Modified: branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/TestClass.java ============================================================================== --- branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/TestClass.java Fri Jul 1 09:05:04 2011 (r549) +++ branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base/TestClass.java Fri Jul 1 10:15:30 2011 (r550) @@ -11,11 +11,13 @@ import com.google.gwt.dom.client.Style.Display; import com.google.gwt.event.dom.client.ClickEvent; import com.google.gwt.event.dom.client.ClickHandler; +import com.google.gwt.event.dom.client.MouseOutEvent; import com.google.gwt.user.client.DOM; import com.google.gwt.user.client.Window; import com.google.gwt.user.client.ui.Button; import com.google.gwt.user.client.ui.HorizontalPanel; import com.google.gwt.user.client.ui.RootPanel; +import com.google.gwt.user.client.ui.Widget;
public class TestClass implements EntryPoint{ HorizontalPanel mainPanel = new HorizontalPanel(); @@ -59,14 +61,17 @@ Topic gdlBackgroundColor = gdlPanel.getSchemaTm().createTopicBySubjectIdentifier(gdlPanel.getSchemaTm().createLocator(GdlPsis.OccurrenceType.gdlBackgroundColor)); tmpRepresentative.createOccurrence(gdlBackgroundColor, "red", null); - GdlVisibleObject tmp = new GdlVisibleObject(tmpRepresentative) { - }; + GdlVisibleObject tmp = new GdlVisibleObject(tmpRepresentative){}; + + + + tmp.setPixelSize(300, 300); // TODO: remove + DOM.setStyleAttribute(tmp.getElement(), "backgroundColor", "lime"); // TODO: remove - tmp.setPixelSize(300, 300); - //DOM.setStyleAttribute(tmp.getElement(), "backgroundColor", "lime"); + + this.mainPanel.add(tmp); - Window.alert(CursorValue.CROSSHAIR.getCssValue()); }catch(Exception e){ Window.alert(">> e >> " + e.getClass() + " >> " + e.getMessage()); }