From 546d1ef6d69ee036dc6af60be800bcf88574e4ce Mon Sep 17 00:00:00 2001 From: pierre Date: Mon, 17 Jun 2024 18:05:39 +0200 Subject: [PATCH] font size --- tree.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/tree.py b/tree.py index 6551973..67df4c3 100755 --- a/tree.py +++ b/tree.py @@ -123,11 +123,7 @@ class LeftTree(CT.CustomTreeCtrl): 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) @@ -140,6 +136,8 @@ class LeftTree(CT.CustomTreeCtrl): 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 @@ -1109,10 +1107,9 @@ class LeftTree(CT.CustomTreeCtrl): 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 : - actual = self.parent.nb.GetSelection() for i in range(self.parent.nb.GetPageCount()) : self.page = self.parent.nb.GetPage(i) if 'parametres' in dir(self.page) : -- 2.7.4