]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.buttons: use hide-status on button-leave.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 24 Oct 2014 23:30:29 +0000 (16:30 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 24 Oct 2014 23:30:29 +0000 (16:30 -0700)
commit6767928091865760bc5adbf35971d1aa762e2916
tree0021afe888ca95459c0cbc13212a05f97aae9ddd
parentc0670893b3f027d5794ee61f19963edca542746f
ui.gadgets.buttons: use hide-status on button-leave.
basis/ui/gadgets/buttons/buttons.factor