Alexander Iljin 2ad605b9c7 ui.tools.listener: support file-drop gesture ... The array of dropped file names is pushed onto the listener's stack.		2018-01-22 13:09:41 -08:00
..
browser	ui.tools.browser: adding back/forward to touchbar.	2018-01-22 10:46:50 -08:00
common	ui.tools.common: only save tool-dim when not fullscreen.	2017-10-25 16:16:53 -07:00
debugger	ui: more docs and tests	2017-06-27 23:47:35 +02:00
deploy	ui.tools.deploy: cleanup using.	2017-10-24 11:32:35 -07:00
error-list	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -07:00
inspector	ui.gadgets.slots: move to ui.tools.inspector.slots.	2017-10-25 16:17:08 -07:00
listener	ui.tools.listener: support file-drop gesture	2018-01-22 13:09:41 -08:00
operations	…
traceback	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -07:00
walker	…
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	…
tools.factor	ui.backend: adding ui-stop-after-last-window?.	2017-03-05 14:51:33 -08:00