John Benediktsson 9c22098dec ui.gadgets.labeled: make <labeled-gadget> not take a color. ... This allows backwards compatibility with 0.97 API. Adding <colored-labeled-gadget> for a version with a colored divider and implementing it with a gap between title bar and content intead of a shelf border gadget.		2018-02-11 09:53:48 -08:00
..
icons	icon for user-init-errors	2011-11-27 12:06:48 -08:00
authors.txt	Add EOL at EOF for all authors.txt files for consistency	2016-07-30 09:25:30 -07:00
error-list-docs.factor	link tools.deprecation docs into handbook and error-list docs	2009-08-20 16:18:47 -05:00
error-list.factor	ui.gadgets.labeled: make <labeled-gadget> not take a color.	2018-02-11 09:53:48 -08:00