ui.tools.listener: support file-drop gesture
ui.tools.listener: support file-drop gesture

The array of dropped file names is pushed onto the listener's stack.

tgunr/factor,mrjbq7/factor,bpollack/factor,AlexIljin/factor,AlexIljin/factor,factor/factor,mrjbq7/factor,tgunr/factor,bpollack/factor,bpollack/factor,factor/factor,tgunr/factor,factor/factor,AlexIljin/factor,mrjbq7/factor,tgunr/factor,factor/factor,AlexIljin/factor,factor/factor,bpollack/factor,factor/factor,AlexIljin/factor,tgunr/factor,mrjbq7/factor,mrjbq7/factor,bpollack/factor,mrjbq7/factor,AlexIljin/factor,AlexIljin/factor,bpollack/factor,tgunr/factor,bpollack/factor