Searched defs:MARGINWIDTH (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTML.java441 public static final Attribute MARGINWIDTH = new Attribute("marginwidth"); field in class:HTML.Attribute
525 MARGINWIDTH,
681 * FRAMEBORDER, MARGINWIDTH, MARGINHEIGHT, SCROLLING, NORESIZE,

Completed in 641 milliseconds