3 Commits

Author	SHA1	Message	Date
zv0n	45ab92c31f	Editor: warn if map isn't saved when quitting	2022-09-24 20:33:15 +02:00
zv0n	98c5b5b0dc	Remove old TODO	2022-07-22 12:33:49 +02:00
zv0n	fa60a0f163	Mario: added Yes/No dialog	2022-07-22 12:23:16 +02:00