On 28/01/2015 7:05 PM, Jens wrote: > > btw. my BASIC editor has a renumbering feature: > > https://github.com/jedie/DragonPy#basic-editor > > Discuss: > > http://archive.worldofdragon.org/phpBB3/viewtopic.php?f=8&t=4439&hilit=renumbering > > Looking cool so far! Nick