]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: use ?first.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 17 Mar 2019 03:33:16 +0000 (20:33 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 17 Mar 2019 03:33:16 +0000 (20:33 -0700)
commit447e30ad4169886295e4d9452d01c0d6b196a2ea
tree2c2513bd8a90cfc0797ef6d141bd56141d0a524d
parentb942caf3d7f763a2e5ef68e3e17056d101f39e73
ui.tools.listener: use ?first.
basis/ui/tools/listener/listener.factor