html.HtmlWindow.__init__(self, parent, id, style=wx.NO_FULL_REPAINT_ON_RESIZE)
self.log = log
self.Bind(wx.EVT_SCROLLWIN, self.OnScroll )
+ if "gtk2" in wx.PlatformInfo:
+ self.NormalizeFontSizes()
def OnScroll( self, event ):
#print 'event.GetOrientation()',event.GetOrientation()
if __name__ == '__main__':
import sys,os
import run
- run.main(['', os.path.basename(sys.argv[0])])
+ run.main(['', os.path.basename(sys.argv[0])] + sys.argv[1:])