def __init__(self,
parent,
id=-1,
pos=wx.DefaultPosition,
size=wx.DefaultSize,
style=wx.DEFAULT_FRAME_STYLE,
name=wx.FrameNameStr):
Frame.__init__(self, parent, id, pos, size, style, name)
def __init__(self, name, **kwargs):
if kwargs.has_key('Element'):
div = kwargs.pop('Element')
else:
div = DOM.createDiv()
DOM.setInnerHTML(div, "<iframe name='" + name + "'>")
iframe = DOM.getFirstChild(div)
Frame.__init__(self, None, iframe, **kwargs)
def __init__(self, Root, Y, X, W, **properties):
Frame.__init__(self, Root, Y, X, Y+1, X + W - 1,
border=0, dropshadow=0, **properties)
GDebug.printMesg(0,'WIDTH=%s' % W)
self.rootwin = Root
self.CANGETFOCUS = 0
self.Y = Y
self.X = X
self.H = 1
self.W = W
self.STATUSBAR = None
self.STATUSBAR_INDEX = 0
self.Controls = []
self.SetColor('MENUBAR')
self.VISIBLE = 1
def __init__(self, id = -1, command = None,
command_cd = None,
response = None):
Frame.__init__(self, id = id, command = command, response = response)
self._command_coqdoc = command_cd or []
def __init__(self, id=-1, command=None, command_cd=None, response=None):
Frame.__init__(self, id=id, command=command, response=response)
self._command_coqdoc = command_cd or []
def __init__(self, ParentContainer, r1=0, c1=0, r2=0, c2=0,
**properties):
SIOInstance = ParentContainer.Screen()
Frame.__init__(ParentContainer, r1, c1, r2, c2, border=1, dropshadow=0)
apply (ScreenContainer.__init__, (self, SIOInstance), properties)
self._ChildOffsetY += 2
