zv0n 70f30b6767 Mario Editor: save to filename entered in editor

2022-07-22 22:18:01 +02:00

..

editor_main_menu.cpp

Mario Editor: add keyboard control to menu

2022-07-22 13:26:23 +02:00

editor_main.cpp

Mario Editor: save to filename entered in editor

2022-07-22 22:18:01 +02:00

editor_scenes.hpp

Mario: OK dialog

2022-07-22 12:55:09 +02:00

ok_scene.cpp

Mario: OK dialog

2022-07-22 12:55:09 +02:00

yes_no_scene.cpp

Remove old TODO

2022-07-22 12:33:49 +02:00