By default, the Code Editor content is not replaced when a world (json file) with content saved in the editor is loaded. This default should be changed when we are in editing mode, to allow world creators to more easily create worlds - in particular, when creating menus with content in the onload editor. When a world creator wants to edit such a json file, she can edit it locally (with a file editor) to replace "onload" by "editor", load it in Reeborg's World, make changes as desired, and save it with the revised content in the Code Editor. Then, using a file editor, change the string "editor" by "onload".
By default, the Code Editor content is not replaced when a world (json file) with content saved in the editor is loaded. This default should be changed when we are in editing mode, to allow world creators to more easily create worlds - in particular, when creating menus with content in the onload editor. When a world creator wants to edit such a json file, she can edit it locally (with a file editor) to replace "onload" by "editor", load it in Reeborg's World, make changes as desired, and save it with the revised content in the Code Editor. Then, using a file editor, change the string "editor" by "onload".