ui.tools.listener: add 'Help' button, and print message when listener exits, to reduce confusion if user presses C+d
ui.tools.listener: add 'Help' button, and print message when listener exits, to reduce confusion if user presses C+d
bjourne/factor,nicolas-p/factor,mrjbq7/factor,bjourne/factor,tgunr/factor,tgunr/factor,sarvex/factor-lang,tgunr/factor,slavapestov/factor,mrjbq7/factor,slavapestov/factor,tgunr/factor,bpollack/factor,sarvex/factor-lang,bpollack/factor,tgunr/factor,sarvex/factor-lang,bjourne/factor,dch/factor,nicolas-p/factor,nicolas-p/factor,bpollack/factor,factor/factor,factor/factor,mrjbq7/factor,slavapestov/factor,factor/factor,slavapestov/factor,sarvex/factor-lang,dch/factor,bpollack/factor,AlexIljin/factor,bjourne/factor,dch/factor,AlexIljin/factor,nicolas-p/factor,AlexIljin/factor,bpollack/factor,AlexIljin/factor,sarvex/factor-lang,tgunr/factor,slavapestov/factor,AlexIljin/factor,dch/factor,nicolas-p/factor,slavapestov/factor,bjourne/factor,bpollack/factor,bjourne/factor,dch/factor,factor/factor,slavapestov/factor,sarvex/factor-lang,AlexIljin/factor,nicolas-p/factor,sarvex/factor-lang,factor/factor,bpollack/factor,factor/factor,mrjbq7/factor,mrjbq7/factor,AlexIljin/factor,mrjbq7/factor,dch/factor,nicolas-p/factor,bjourne/factor