Björn Lindqvist 522eb559e4 ui.tools: setting the initial tool dim as a multiple of the default font		2017-06-30 22:47:11 +02:00
..
authors.txt	…
inspector-docs.factor	add content-gadget hook for inspector	2012-02-21 15:06:27 -08:00
inspector-tests.factor	factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test	2015-07-03 09:39:59 -07:00
inspector.factor	ui.tools: setting the initial tool dim as a multiple of the default font	2017-06-30 22:47:11 +02:00
summary.txt	…
tags.txt	…