style=wx.SUNKEN_BORDER|wx.WANTS_CHARS,
agwStyle=CT.TR_HIDE_ROOT|CT.TR_HAS_BUTTONS|CT.TR_HAS_VARIABLE_ROW_HEIGHT):
CT.CustomTreeCtrl.__init__(self, parent, id, pos, size, style, agwStyle)
- #FIXME : test for bigger font on HIDPI screen
- #font = wx.Font(12, wx.FONTFAMILY_DEFAULT, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_BOLD,
- # False, "", wx.FONTENCODING_DEFAULT)
- font = wx.Font(pointSize=10, family=wx.FONTFAMILY_DEFAULT, style=wx.FONTSTYLE_NORMAL, weight=wx.FONTWEIGHT_NORMAL)
- self.SetFont(font)
+
##################
self.log = log
alldata = dir(CT)
events.append(data)
self.parent = parent
self.ira = parent
+ font = wx.Font(pointSize=self.ira.fontsize + 2, family=wx.FONTFAMILY_DEFAULT, style=wx.FONTSTYLE_NORMAL, weight=wx.FONTWEIGHT_NORMAL)
+ self.SetFont(font)
self.events = events
self.styles = treestyles
self.item = None
event.Skip()
def OnSelChanged(self, event = None, pydata = None):
- print("OnSelChange")
if event is not None :
item = event.GetItem()
pydata = self.GetPyData(item)
if 'uuid' in pydata :
if pydata['uuid'] in ['textroot', 'matroot'] :
self.ira.ShowMenu('text', False)
- self.ira.ShowMenu('matrix', False)
+ self.ira.ShowMenu('matrix', False)
self.pydata = pydata
if pydata['uuid'] in self.parent.history.opened :
for i in range(self.parent.nb.GetPageCount()) :
if 'parametres' in dir(self.page) :
if self.page.parametres['uuid'] == pydata['uuid'] :
self.parent.nb.SetSelection(i)
+ wx.CallAfter(self.parent.nb.SendSizeEvent)
+ #self.parent.Refresh()
break
#self.parent._mgr.Update()
- wx.CallAfter(self.parent.nb.SendSizeEvent)
- self.parent.Refresh()
#if event is not None :
# event.Skip()