search

aroberge / reeborg

Enhanced Karel-the-robot clone
http://reeborg.ca/reeborg.html
Other
47 stars 36 forks source link

Add option to always show editor content in description #392

Closed aroberge closed 6 years ago

aroberge commented 6 years ago

Currently, using INSERT_PRE in the world's description will insert the content of the Pre editor at that location - and similarly for the other editors.

It would be useful to have a global settings (RUR.show_editors_content ?) that would automatically insert the content of the editors in the description.

EDIT: this was implemented by using a function so that the information could be updated when the settings is changed.

aroberge commented 6 years ago

documentation issue moved to reeborg-howto