13 Commits

Author SHA1 Message Date
zv0n 94d24e37fa Playing around with buttons 2022-06-22 21:42:57 +02:00
zv0n 2402567330 Added generic button 2022-06-21 14:53:10 +02:00
zv0n 8ca70fa11e Mario: formatting 2021-10-18 09:08:35 +02:00
zv0n c7309d56a3 Editor: add character support 2021-08-08 21:22:00 +02:00
zv0n 6238022ed2 Mario: fix modifier deletion 2021-08-07 12:13:23 +02:00
zv0n cd0a301e52 Mario Editor: add land type switching 2021-05-31 14:03:11 +02:00
zv0n 9d9068091b Mario: slightly better editor UI 2021-05-28 19:51:02 +02:00
zv0n 83cda5f860 Mario editor: formatting 2021-05-09 00:46:10 +02:00
zv0n b54ba5034c Mario editor: started refactoring 2021-05-09 00:43:53 +02:00
zv0n c849895c72 Mario editor: more terrain, can place Mario 2021-05-07 23:17:05 +02:00
zv0n e084ed6f86 Mario editor: can paginate blocks now 2021-05-07 10:08:41 +02:00
zv0n f89d36c177 Mario Editor: Tool selection alpha 2021-05-07 09:43:57 +02:00
zv0n 96857a99af Mario editor: use visitors 2021-05-02 14:14:11 +02:00