|
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 |
|
|
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 |
|