[isidorus-cvs] r550 - branches/gdl-frontend/src/anaToMia/GDL_Widgets/src/us/isidor/gdl/anaToMia/Widgets/base

lgiessmann at common-lisp.net lgiessmann at common-lisp.net
Fri Jul 1 17:15:31 UTC 2011


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());
 		}




More information about the Isidorus-cvs mailing list