]> gitweb.factorcode.org Git - factor.git/commit
ui.tools: make refresh-all command interruptible with Ctrl-Break
authorAlexander Iljin <ajsoft@yandex.ru>
Thu, 16 Jun 2016 09:33:49 +0000 (12:33 +0300)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 1 Nov 2016 23:53:01 +0000 (16:53 -0700)
commit2e49ffe6bd31549eb9d990ab911c341dbf85ff24
tree46e5c5e59a2b9abac6919f709602d5c3d816d07e
parentcf4f0ada11fc830e085b65b79eebadb393c7814e
ui.tools: make refresh-all command interruptible with Ctrl-Break
basis/ui/tools/tools.factor