equal
deleted
inserted
replaced
22 # along with this program; if not, write to the Free Software |
22 # along with this program; if not, write to the Free Software |
23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
24 |
24 |
25 |
25 |
26 from __future__ import absolute_import |
26 from __future__ import absolute_import |
|
27 from __future__ import division |
27 import re |
28 import re |
28 from types import TupleType, StringType, UnicodeType |
29 from types import TupleType, StringType, UnicodeType |
29 from builtins import str as text |
30 from builtins import str as text |
30 |
31 |
31 import wx |
32 import wx |
682 attr = wx.grid.GridCellAttr() |
683 attr = wx.grid.GridCellAttr() |
683 attr.SetAlignment(self.ColSettings["alignement"][col], wx.ALIGN_CENTRE) |
684 attr.SetAlignment(self.ColSettings["alignement"][col], wx.ALIGN_CENTRE) |
684 self.VariablesGrid.SetColAttr(col, attr) |
685 self.VariablesGrid.SetColAttr(col, attr) |
685 self.VariablesGrid.SetColMinimalWidth(col, self.ColSettings["size"][col]) |
686 self.VariablesGrid.SetColMinimalWidth(col, self.ColSettings["size"][col]) |
686 if (panel_width > self.PanelWidthMin) and not self.ColSettings["fixed_size"][col]: |
687 if (panel_width > self.PanelWidthMin) and not self.ColSettings["fixed_size"][col]: |
687 self.VariablesGrid.SetColSize(col, int((float(self.ColSettings["size"][col])/stretch_cols_sum)*stretch_cols_width)) |
688 self.VariablesGrid.SetColSize(col, int((self.ColSettings["size"][col]/stretch_cols_sum)*stretch_cols_width)) |
688 else: |
689 else: |
689 self.VariablesGrid.SetColSize(col, self.ColSettings["size"][col]) |
690 self.VariablesGrid.SetColSize(col, self.ColSettings["size"][col]) |
690 |
691 |
691 def __del__(self): |
692 def __del__(self): |
692 self.RefreshHighlightsTimer.Stop() |
693 self.RefreshHighlightsTimer.Stop() |