justinmeister/Mario-Level-1 — pull request #4 by metulburr (2014-02-18 23:39:23+00:00)
Title: added dict for keybindings

It certianly is not an "in game" option to change the keybindings, but it is the starting of it, plus if anyone wants to change the keybindings like this for now, they only have to change tools.keybinding dictionary instead of every appearance.