Changeset 653
- Timestamp:
- 08/06/03 19:41:51 (5 years ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/RBSkinning/RBSkinning/wxTools/wxDockingTools.py
r640 r653 309 309 title = getattr(self.dockcontainer, 'pagename', None) 310 310 if title is not None: return title 311 title = self.dockitem.GetLabel() 312 if title: return title 313 title = self.dockitem.__class__.__name__ 314 return title 311 if self.dockitem is not None: 312 title = self.dockitem.GetLabel() 313 if title: return title 314 title = self.dockitem.__class__.__name__ 315 return title or "<Unknown>" 315 316 316 317 def UpdateTitle(self, title=None):
