Thread:Extension talk:CodeEditor/How to set the content of the textbox?