Searched refs:marginHeight (Results 1 - 3 of 3) sorted by relevance

/openjdk7/jaxp/src/org/w3c/dom/html/
H A DHTMLFrameElement.java70 public void setMarginHeight(String marginHeight); argument
H A DHTMLIFrameElement.java84 public void setMarginHeight(String marginHeight); argument
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/motif/
H A DMotifBorders.java388 int marginHeight, startY;

Completed in 31 milliseconds