'mono' : 'Courier',
'helv' : 'Helvetica',
'other': 'new century schoolbook',
- 'size' : 13,
- 'size2': 11,
+ 'size' : 12,
+ 'size2': 10,
}
class PythonSTC(wxStyledTextCtrl):
def __init__(self, parent, ID):
- wxStyledTextCtrl.__init__(self, parent, ID)
+ wxStyledTextCtrl.__init__(self, parent, ID,
+ style = wxNO_FULL_REPAINT_ON_RESIZE)
self.CmdKeyAssign(ord('B'), wxSTC_SCMOD_CTRL, wxSTC_CMD_ZOOMIN)
self.CmdKeyAssign(ord('N'), wxSTC_SCMOD_CTRL, wxSTC_CMD_ZOOMOUT)
if not _USE_PANEL:
ed = p = PythonSTC(nb, -1)
else:
- p = wxPanel(nb, -1)
+ p = wxPanel(nb, -1, style = wxNO_FULL_REPAINT_ON_RESIZE)
ed = PythonSTC(p, -1)
s = wxBoxSizer(wxHORIZONTAL)
s.Add(ed, 1, wxEXPAND)
"""
-## if __name__ == '__main__':
-## import sys
-## app = wxPySimpleApp()
-## frame = wxFrame(None, -1, "Tester...", size=(640, 480))
-## win = runTest(frame, frame, sys.stdout)
-## frame.Show(true)
-## app.MainLoop()
-
-
if __name__ == '__main__':
+ import sys,os
import run
- run.main(['', 'wxStyledTextCtrl_2'])
+ run.main(['', os.path.basename(sys.argv[0])])