|
digits
|
show step count
|
2024-10-07 13:16:26 +02:00 |
|
tiles
|
show step count
|
2024-10-07 13:16:26 +02:00 |
|
area_corner.png
|
make selecting look nicer
|
2024-10-07 18:06:02 +02:00 |
|
digit_tool.png
|
add digit tool
|
2024-10-05 20:22:18 +02:00 |
|
eraser.png
|
redraw sprites for arrows, mirrors and eraser
|
2024-10-05 19:21:41 +02:00 |
|
missing.png
|
clean up tile rendering
|
2024-10-05 15:18:41 +02:00 |
|
pause.png
|
add play/pause/stop buttons
|
2024-10-07 01:16:52 +02:00 |
|
play.png
|
add play/pause/stop buttons
|
2024-10-07 01:16:52 +02:00 |
|
selection.png
|
add digit tool
|
2024-10-05 20:22:18 +02:00 |
|
step.png
|
make erasing continuous
|
2024-10-07 16:51:56 +02:00 |
|
stop.png
|
add play/pause/stop buttons
|
2024-10-07 01:16:52 +02:00 |
|
transparent.png
|
clean up tile rendering
|
2024-10-05 15:18:41 +02:00 |
