]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: add 'Help' button, and print message when listener exits, to reduc...
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Mon, 28 Sep 2009 07:38:06 +0000 (02:38 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Mon, 28 Sep 2009 07:38:06 +0000 (02:38 -0500)
commit64a7fd0a4dfcdd98ce930b93f5269658d9fbf83b
tree353e56c12d23c0e459272a96463c3214dffe517f
parent7e4b9b6377af23496a26b756d98f2df45aa181b3
ui.tools.listener: add 'Help' button, and print message when listener exits, to reduce confusion if user presses C+d
basis/ui/tools/listener/listener.factor