equal
deleted
inserted
replaced
1475 self.TabsOpened.GetPage(selected).RefreshView() |
1475 self.TabsOpened.GetPage(selected).RefreshView() |
1476 event.Skip() |
1476 event.Skip() |
1477 |
1477 |
1478 def OnTypesTreeItemActivated(self, event): |
1478 def OnTypesTreeItemActivated(self, event): |
1479 selected = event.GetItem() |
1479 selected = event.GetItem() |
1480 if self.TypesTree.IsExpanded(selected): |
|
1481 self.TypesTree.Collapse(selected) |
|
1482 else: |
|
1483 self.TypesTree.Expand(selected) |
|
1484 name = self.TypesTree.GetItemText(selected) |
1480 name = self.TypesTree.GetItemText(selected) |
1485 data = self.TypesTree.GetPyData(selected) |
1481 data = self.TypesTree.GetPyData(selected) |
1486 if name == "Properties": |
1482 if name == "Properties": |
1487 self.ShowProperties() |
1483 self.ShowProperties() |
1488 if data == ITEM_DATATYPE: |
1484 if data == ITEM_DATATYPE: |