by mteufel » 12 Feb 2018, 19:36
Flexlay was the editor used for the 0.1.3 worldmap editing as far as I know. However, more recent versions of Flexlay do not support legacy level and worldmap format. The use of anything but the current stable (as of writing v0.5.1) is not recommended anyway.
SuperTux developer