editors/CodeFileEditor.py
changeset 1152 0a8fbd2a00f7
parent 1150 b1c84771e1cf
child 1161 2d6ec60c48de
equal deleted inserted replaced
1151:38d6aaad8ffd 1152:0a8fbd2a00f7
   639                   size=wx.Size(28, 28), style=wx.NO_BORDER)
   639                   size=wx.Size(28, 28), style=wx.NO_BORDER)
   640             button.SetToolTipString(help)
   640             button.SetToolTipString(help)
   641             setattr(self, name, button)
   641             setattr(self, name, button)
   642             controls_sizer.AddWindow(button, border=5, flag=wx.RIGHT)
   642             controls_sizer.AddWindow(button, border=5, flag=wx.RIGHT)
   643         
   643         
   644         self.VariablesGrid = CustomGrid(self, size=wx.Size(-1, 300), style=wx.VSCROLL)
   644         self.VariablesGrid = CustomGrid(self, style=wx.VSCROLL)
   645         self.VariablesGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnVariablesGridCellChange)
   645         self.VariablesGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnVariablesGridCellChange)
   646         self.VariablesGrid.Bind(wx.grid.EVT_GRID_CELL_LEFT_CLICK, self.OnVariablesGridCellLeftClick)
   646         self.VariablesGrid.Bind(wx.grid.EVT_GRID_CELL_LEFT_CLICK, self.OnVariablesGridCellLeftClick)
   647         self.VariablesGrid.Bind(wx.grid.EVT_GRID_EDITOR_SHOWN, self.OnVariablesGridEditorShown)
   647         self.VariablesGrid.Bind(wx.grid.EVT_GRID_EDITOR_SHOWN, self.OnVariablesGridEditorShown)
   648         main_sizer.AddWindow(self.VariablesGrid, flag=wx.GROW)
   648         main_sizer.AddWindow(self.VariablesGrid, flag=wx.GROW)
   649         
   649