graulund/tppcommands — pull request #5 by heart9 (2014-06-16 11:56:45+00:00)
Title: tppcommds.user.js + new definitions

Defined additional coordinate shortcuts.