// Generated by esidl 0.4.0. package org.w3c.dom.html; public interface HTMLMarqueeElement extends HTMLElement { // HTMLMarqueeElement public String getBehavior(); public void setBehavior(String behavior); public String getBgColor(); public void setBgColor(String bgColor); public String getDirection(); public void setDirection(String direction); public String getHeight(); public void setHeight(String height); public int getHspace(); public void setHspace(int hspace); public int getLoop(); public void setLoop(int loop); public int getScrollAmount(); public void setScrollAmount(int scrollAmount); public int getScrollDelay(); public void setScrollDelay(int scrollDelay); public boolean getTrueSpeed(); public void setTrueSpeed(boolean trueSpeed); public int getVspace(); public void setVspace(int vspace); public String getWidth(); public void setWidth(String width); public Function getOnbounce(); public void setOnbounce(Function onbounce); public Function getOnfinish(); public void setOnfinish(Function onfinish); public Function getOnstart(); public void setOnstart(Function onstart); public void start(); public void stop(); }