1 21 32 33 package org.w3c.dom.html2; 34 35 import org.w3c.dom.Document ; 36 37 41 public interface HTMLFrameElement extends HTMLElement { 42 46 public String getFrameBorder(); 47 51 public void setFrameBorder(String frameBorder); 52 53 57 public String getLongDesc(); 58 62 public void setLongDesc(String longDesc); 63 64 68 public String getMarginHeight(); 69 73 public void setMarginHeight(String marginHeight); 74 75 79 public String getMarginWidth(); 80 84 public void setMarginWidth(String marginWidth); 85 86 90 public String getName(); 91 95 public void setName(String name); 96 97 101 public boolean getNoResize(); 102 106 public void setNoResize(boolean noResize); 107 108 112 public String getScrolling(); 113 117 public void setScrolling(String scrolling); 118 119 123 public String getSrc(); 124 128 public void setSrc(String src); 129 130 135 public Document getContentDocument(); 136 137 } 138 | Popular Tags |