__init__ | |
GetLocals | |
GetProperties | |
OnKey | |
OnStyle | |
OnUpdateUI | |
Prompt | |
PushLine | |
runsource | |
SetLocals | |
SetProperties | |
showsyntaxerror | |
showtraceback | |
UpdateProperties | Reset the editor and other settings based on the contents of the |
writeTrace |
Reset the editor and other settings based on the contents of the current properties dictionary.