417 pos=wx.Point(0, 0), size=wx.DefaultSize, style=0) |
417 pos=wx.Point(0, 0), size=wx.DefaultSize, style=0) |
418 |
418 |
419 self.StructureElementsGrid = CustomGrid(id=ID_DATATYPEEDITORSTRUCTUREELEMENTSGRID, |
419 self.StructureElementsGrid = CustomGrid(id=ID_DATATYPEEDITORSTRUCTUREELEMENTSGRID, |
420 name='StructureElementsGrid', parent=self.StructurePanel, pos=wx.Point(0, 0), |
420 name='StructureElementsGrid', parent=self.StructurePanel, pos=wx.Point(0, 0), |
421 size=wx.Size(0, 150), style=wx.VSCROLL) |
421 size=wx.Size(0, 150), style=wx.VSCROLL) |
422 self.StructureElementsGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False, |
|
423 'Sans')) |
|
424 self.StructureElementsGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL, |
|
425 False, 'Sans')) |
|
426 self.StructureElementsGrid.SetSelectionBackground(wx.WHITE) |
|
427 self.StructureElementsGrid.SetSelectionForeground(wx.BLACK) |
|
428 if wx.VERSION >= (2, 6, 0): |
422 if wx.VERSION >= (2, 6, 0): |
429 self.StructureElementsGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnStructureElementsGridCellChange) |
423 self.StructureElementsGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnStructureElementsGridCellChange) |
430 self.StructureElementsGrid.Bind(wx.grid.EVT_GRID_EDITOR_SHOWN, self.OnStructureElementsGridEditorShown) |
424 self.StructureElementsGrid.Bind(wx.grid.EVT_GRID_EDITOR_SHOWN, self.OnStructureElementsGridEditorShown) |
431 else: |
425 else: |
432 wx.grid.EVT_GRID_CELL_CHANGE(self.StructureElementsGrid, self.OnStructureElementsGridCellChange) |
426 wx.grid.EVT_GRID_CELL_CHANGE(self.StructureElementsGrid, self.OnStructureElementsGridCellChange) |