SuperTux/supertux-editor: SuperTux editor source code. (Unsupported. Use the in-game editor or flexlay instead.) @ 1a4a6c7ac6d3bfac389a0701ed2a31eeecc083e0