197 |
if self.__floatPosition is not None: self.SetPosition(self.__floatPosition) |
if self.__floatPosition is not None: self.SetPosition(self.__floatPosition) |
198 |
if self.__floatSize is not None: self.SetSize(self.__floatSize) |
if self.__floatSize is not None: self.SetSize(self.__floatSize) |
199 |
|
|
200 |
|
self.__dockPanel.SetSize(self.__topWindow.GetClientSize()) |
201 |
|
|
202 |
self.issue(DOCKABLE_UNDOCKED, self.__id, self) |
self.issue(DOCKABLE_UNDOCKED, self.__id, self) |
203 |
|
|
204 |
def IsDocked(self): |
def IsDocked(self): |
319 |
# our orientation |
# our orientation |
320 |
# |
# |
321 |
text = wxStaticText(self.__dockPanel, -1, self.GetTitle(), |
text = wxStaticText(self.__dockPanel, -1, self.GetTitle(), |
322 |
style = wxSIMPLE_BORDER | wxALIGN_CENTRE) |
style = wxALIGN_CENTRE) |
323 |
|
|
324 |
# |
# |
325 |
# Perhaps using wxToggleButton would be better, but it's only |
# Perhaps using wxToggleButton would be better, but it's only |