PyShell output window
for now, it is based on simple wxTextCtrl, but i’m looking at HTML classes to provide colorized output
__init__ | |
AddText | write text to output window |
BeginBatch | do not refresh display till EndBatch() |
EndBatch | end batch; start updating display immediately |
flush | write out all that was left in line buffer |
OnIdle | when there’s nothing to do, we can update display |
OnSize | |
UpdWindow | sync display with text buffer |
write | stdout-like interface |
write_exc | write text in “exception” style |
write_in | write text in “input” style |
PyShell output window
for now, it is based on simple wxTextCtrl, but i’m looking at HTML classes to provide colorized output
write text to output window
do not refresh display till EndBatch()
end batch; start updating display immediately
write out all that was left in line buffer
when there’s nothing to do, we can update display
sync display with text buffer
stdout-like interface
write text in “exception” style
write text in “input” style