[comment partly moved to here]
Alternatively, @yar, maybe you could look into file watchers and update that IO Box string when the file is changed. This way, it would be convenient for you to edit the text in the editor you like.
[comment partly moved to here]
Alternatively, @yar, maybe you could look into file watchers and update that IO Box string when the file is changed. This way, it would be convenient for you to edit the text in the editor you like.