wizjany c0f2557f15

Make the selection wand and navigation wand normal tools. (#493) ...

This means users can bind and unbind them to any item, like other tools.
By default, the items in config will be automatically bound. After
setting a different item via `//selwand` or `//navwand`, that item will
subsequently be used for that user.

Also add -n to //wand to get a navwand.

Also various other tool-related cleanup.

2019-06-28 15:45:16 -04:00

..

doctools

Port doc printer to Kotlin, heavily improve

2019-06-05 23:26:57 -07:00

src

Make the selection wand and navigation wand normal tools. (#493)

2019-06-28 15:45:16 -04:00

build.gradle

Drop translatable names for now

2019-04-25 22:54:23 -07:00