<![CDATA[
Widget()
Widget.getSequence = function()
Widget.prototype.getId = function()
Widget.makeEventCallback = function(widget,eventType)
Widget.init = function()
function Basic()
Basic.prototype.resizeCallback = function()
Basic.prototype.setResizeCallback = function(funct)
Basic.prototype.setUnsetCallback = function(functId)
Basic.prototype.setName = function(name)
Basic.prototype.getName = function()
Basic.prototype.setDocument = function(document)
Basic.prototype.insertInto = function(parent)
Basic.prototype.realize = function()
Basic.prototype.unRealize = function()
Basic.prototype.setPos = function(x,y)
Basic.prototype.setXpos = function(x)
Basic.prototype.setYpos = function(y)
Basic.prototype.releasePos = function()
Basic.prototype.setWidth = function(w)
Basic.prototype.setHeight = function(h)
Basic.prototype.getXpos = function()
Basic.prototype.getYpos = function()
Basic.prototype.setBorderColor = function(color,side)
Basic.prototype.setBorderWidth = function(width,side)
Basic.prototype.setBorderStyle = function(style,side)
Basic.getBorderSide = function(suffix,side)
Basic.prototype.setBackground = function(color)
Basic.prototype.setColor = function(color)
Basic.prototype.setTextColor = function(color)
Basic.prototype.setBorder = function(border)
Basic.prototype.attachEvent = function(eventType,callback)
Basic.prototype.detachEvent = function(eventType,callback_id)
Basic.prototype.setCursor = function(cursorType)
Basic.makeResizeFunction = function(widget,mouseType,resizeType)
Basic.resizeMouseAction = function(event,widget,mouseType,resizeType)
Basic.makeResizeMoveHandler = function(widget)
Basic.createBandBox = function(widget)
Basic.removeBandBox = function(widget)
Basic.makeResizeFinishHandler = function(widget)
Basic.prototype.makeResizeable = function()
Basic.resetCursorTriggers = function(widget,width,height)
Basic.prototype.setAnchor = function(anchor,value)
Basic.prototype.setMaxSize = function(width,height)
Basic.prototype.setMinSize = function(width,height)
Basic.prototype.adjust = function()
function Container()
Container.prototype = new Basic();
Container.prototype.insertTop = function(widget)
Container.prototype.insertBottom = function(widget)
Container.prototype.realize = function()
function ScreenContainer()
ScreenContainer.screenChangeCallback = function(event)
function ScrollContainer()
ScrollContainer.prototype = new Container();
ScrollContainer.prototype.lockBars = function()
function Label()
Label.prototype = new Basic();
Label.prototype.setText = function(text)
Label.prototype.setFontFamily = function(family)
Label.prototype.setFontSize = function(size)
Label.prototype.setFontWeight = function(weight)
Label.prototype.setLetterSpacing = function(spacing)
Label.prototype.setImage = function(image_url)
Label.prototype.realize = function()
function Banner()
Banner.prototype = new Label();
Banner.prototype.time_value = 30;
Banner.prototype.x_offset = 1;
Banner.prototype.y_offset = 0;
Banner.prototype.setText = function(text)
Banner.prototype.setTextColor = function(color)
Banner.prototype.setFontFamily = function(family)
Banner.prototype.setFontSize = function(size)
Banner.prototype.setFontWeight = function(weight)
Banner.prototype.setLetterSpacing = function(spacing)
Banner.prototype.setTime = function(new_time)
Banner.prototype.setXoff = function(new_xoff)
Banner.prototype.setYoff = function(new_yoff)
Banner.prototype.realize = function()
Banner.prototype.unRealize = function()
Banner.prototype.start = function()
Banner.prototype.stop = function()
</plaintext>
</body>
</html>
]]></plaintext></body>