Commit Briefs

James Cook

Add a link to a blog post about this project. (main, origin/main)

diff | patch | tree

James Cook

Add buttons to move up and down.

diff | patch | tree

James Cook

Uncheck "hide floor" on startup.

diff | patch | tree

James Cook

Redo the lighting.

diff | patch | tree

James Cook

Don't suppress non-arrow keys.

Now on Firefox ctrl-r to reload works again.

diff | patch | tree

James Cook

Add something to look at when the floor is hidden.

diff | patch | tree

James Cook

Suppress default keyboard handlers.

diff | patch | tree

James Cook

Add a checkbox that hides the floor.

Also, use an existing canvas element from the document instead of appending one.

diff | patch | tree

James Cook

Add licence.

diff | patch | tree

James Cook

Add a description.

diff | patch | tree

James Cook

Add .gitignore

diff | patch | tree

James Cook

List idris2 packages this depends on.

diff | patch | tree

James Cook

Initial import.

diff | patch | tree