factor/basis/ui/tools
John Benediktsson 115b7b62df basis: removing unnecessary method stack effects. 2020-09-09 15:00:54 -07:00
..
browser basis: removing unnecessary method stack effects. 2020-09-09 15:00:54 -07:00
common ui.tools.common: only save tool-dim when not fullscreen. 2017-10-25 16:16:53 -07:00
debugger Revert "ui: better support for Emacs-style key bindings." 2020-06-06 16:20:21 -07:00
deploy ui.tools.deploy: cleanup using. 2017-10-24 11:32:35 -07:00
error-list ui.tools.error-list: changing icons from tiff to png. 2020-05-21 17:31:41 -07:00
inspector ui.tools.inspector: string inspection shows characters. 2018-12-30 12:51:10 -08:00
listener basis: removing unnecessary method stack effects. 2020-09-09 15:00:54 -07:00
operations Revert "ui: better support for Emacs-style key bindings." 2020-06-06 16:20:21 -07:00
traceback ui.gadgets.labeled: make <labeled-gadget> not take a color. 2018-02-11 09:53:48 -08:00
walker more test IN: cleanup. 2018-02-15 09:20:01 -08:00
authors.txt Move 'ui' to basis 2008-08-07 21:12:50 -05:00
summary.txt Move 'ui' to basis 2008-08-07 21:12:50 -05:00
tags.txt Move 'ui' to basis 2008-08-07 21:12:50 -05:00
tools-docs.factor ui.tools-docs: add a pointer to the file-drop gesture docs 2018-01-22 13:09:41 -08:00
tools.factor ui.backend: adding ui-stop-after-last-window?. 2017-03-05 14:51:33 -08:00