]> gitweb.factorcode.org Git - factor.git/commit
Change ui tabs to alt+12345
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 9 Dec 2007 16:29:46 +0000 (10:29 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 9 Dec 2007 16:29:46 +0000 (10:29 -0600)
commitf26713182f2f7b9b2d3893107dece3e0ce097a89
tree5a554f47aefcb6e433938bdd19f0a6bcc3b9d610
parent7053f8424461595f6f3fb2a2e7af4b56b0f638e8
Change ui tabs to alt+12345
extra/ui/tools/tools.factor