controls/VariablePanel.py
changeset 606 d65122c61eaf
parent 604 5b42b4401e6b
child 616 8a60ffcfd70b
--- a/controls/VariablePanel.py	Wed Dec 14 15:18:32 2011 +0100
+++ b/controls/VariablePanel.py	Fri Dec 16 22:44:47 2011 +0100
@@ -337,12 +337,6 @@
         self.VariablesGrid = CustomGrid(id=ID_VARIABLEEDITORPANELVARIABLESGRID,
               name='VariablesGrid', parent=self, pos=wx.Point(0, 0), 
               size=wx.Size(0, 0), style=wx.VSCROLL)
-        self.VariablesGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False,
-              'Sans'))
-        self.VariablesGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL,
-              False, 'Sans'))
-        self.VariablesGrid.SetSelectionBackground(wx.WHITE)
-        self.VariablesGrid.SetSelectionForeground(wx.BLACK)
         self.VariablesGrid.SetDropTarget(VariableDropTarget(self))
         if wx.VERSION >= (2, 6, 0):
             self.VariablesGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnVariablesGridCellChange)