fold_symbols = 2
- def __init__(self, parent, ID):
+ def __init__(self, parent, ID, style=0):
stc.StyledTextCtrl.__init__(self, parent, ID,
- style = wx.NO_FULL_REPAINT_ON_RESIZE)
+ style = style|wx.NO_FULL_REPAINT_ON_RESIZE)
self.CmdKeyAssign(ord('B'), stc.STC_SCMOD_CTRL, stc.STC_CMD_ZOOMIN)
self.CmdKeyAssign(ord('N'), stc.STC_SCMOD_CTRL, stc.STC_CMD_ZOOMOUT)
self.SetViewWhiteSpace(False)
#self.SetBufferedDraw(False)
#self.SetViewEOL(True)
-
+ #self.SetUseAntiAliasing(True)
+
self.SetEdgeMode(stc.STC_EDGE_BACKGROUND)
self.SetEdgeColumn(78)
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:])