Thread:Extension talk:CodeEditor/How to set the content of the textbox?/reply (5)

For future reference: the  function was implemented in 149529.

However I didn't figure out how to use it as a solution for the initial problem. None of these work if CodeEditor is enabled: