beremiz

ad4db7099355
Parents ef0b303d9535
Children 408dd4b44ec8
Bug with fonts on some systems fixed
  • +2 -2
    Beremiz.py
  • --- a/Beremiz.py Tue Jan 20 17:22:16 2009 +0100
    +++ b/Beremiz.py Fri Feb 13 13:58:54 2009 +0100
    @@ -668,8 +668,8 @@
    # addsizer.AddWindow(addbutton, 0, border=0, flag=0)
    # return addsizer
    - normal_bt_font=wx.Font(faces["size"] / 3, wx.DEFAULT, wx.NORMAL, 0, faceName = faces["helv"])
    - mouseover_bt_font=wx.Font(faces["size"] / 3, wx.DEFAULT, wx.NORMAL, 0, underline=True, faceName = faces["helv"])
    + normal_bt_font=wx.Font(faces["size"] / 3, wx.DEFAULT, wx.NORMAL, wx.NORMAL, faceName = faces["helv"])
    + mouseover_bt_font=wx.Font(faces["size"] / 3, wx.DEFAULT, wx.NORMAL, wx.NORMAL, underline=True, faceName = faces["helv"])
    def GenerateMethodButtonSizer(self, plugin, parent, horizontal = True):
    if horizontal:
    msizer = wx.FlexGridSizer(cols=len(plugin.PluginMethods))