chiark / gitweb /
Changed font for start/end gcode
authorDaid <daid303@gmail.com>
Fri, 9 Mar 2012 16:02:30 +0000 (17:02 +0100)
committerDaid <daid303@gmail.com>
Fri, 9 Mar 2012 16:02:30 +0000 (17:02 +0100)
SkeinPyPy_NewUI/newui/alterationPanel.py

index fbbeedeb0e21ba640f50ce4c81940e7955668670..8ba15d0ce9c3f2fbe49b58b42d64da44bdf33cd6 100644 (file)
@@ -12,7 +12,7 @@ class alterationPanel(wx.Panel):
                self.currentFile = None\r
 \r
                self.textArea = wx.TextCtrl(self, style=wx.TE_MULTILINE|wx.TE_DONTWRAP|wx.TE_PROCESS_TAB)\r
-               self.textArea.SetFont(wx.Font(8, wx.FONTFAMILY_MODERN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL))\r
+               self.textArea.SetFont(wx.Font(wx.SystemSettings.GetFont(wx.SYS_ANSI_VAR_FONT).GetPointSize(), wx.FONTFAMILY_MODERN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL))\r
                self.list = wx.ListBox(self, choices=self.alterationFileList, style=wx.LB_SINGLE)\r
                self.list.SetSelection(0)\r
                self.Bind(wx.EVT_LISTBOX, self.OnSelect, self.list)\r