|
|
c7309d56a3
|
Editor: add character support
|
2021-08-08 21:22:00 +02:00 |
|
|
|
6238022ed2
|
Mario: fix modifier deletion
|
2021-08-07 12:13:23 +02:00 |
|
|
|
cd0a301e52
|
Mario Editor: add land type switching
|
2021-05-31 14:03:11 +02:00 |
|
|
|
9d9068091b
|
Mario: slightly better editor UI
|
2021-05-28 19:51:02 +02:00 |
|
|
|
83cda5f860
|
Mario editor: formatting
|
2021-05-09 00:46:10 +02:00 |
|
|
|
b54ba5034c
|
Mario editor: started refactoring
|
2021-05-09 00:43:53 +02:00 |
|
|
|
c849895c72
|
Mario editor: more terrain, can place Mario
|
2021-05-07 23:17:05 +02:00 |
|
|
|
e084ed6f86
|
Mario editor: can paginate blocks now
|
2021-05-07 10:08:41 +02:00 |
|
|
|
f89d36c177
|
Mario Editor: Tool selection alpha
|
2021-05-07 09:43:57 +02:00 |
|
|
|
96857a99af
|
Mario editor: use visitors
|
2021-05-02 14:14:11 +02:00 |
|
