factor

Author	SHA1	Message	Date
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
John Benediktsson	86b5efb9eb	gopher-ui: move to gopher.ui.	2016-10-27 09:52:17 -07:00