diff -r 279c16d017f3 -r d65122c61eaf RessourceEditor.py --- a/RessourceEditor.py Wed Dec 14 15:18:32 2011 +0100 +++ b/RessourceEditor.py Fri Dec 16 22:44:47 2011 +0100 @@ -281,10 +281,6 @@ self.TasksGrid = CustomGrid(id=ID_RESOURCEEDITORTASKSGRID, name='TasksGrid', parent=self.Editor, pos=wx.Point(0, 0), size=wx.Size(-1, -1), style=wx.VSCROLL) - self.TasksGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False, - 'Sans')) - self.TasksGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL, - False, 'Sans')) if wx.VERSION >= (2, 6, 0): self.TasksGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnTasksGridCellChange) else: @@ -313,10 +309,6 @@ self.InstancesGrid = CustomGrid(id=ID_RESOURCEEDITORINSTANCESGRID, name='InstancesGrid', parent=self.Editor, pos=wx.Point(0, 0), size=wx.Size(-1, -1), style=wx.VSCROLL) - self.InstancesGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False, - 'Sans')) - self.InstancesGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL, - False, 'Sans')) if wx.VERSION >= (2, 6, 0): self.InstancesGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnInstancesGridCellChange) else: