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
..
deploy.factor	…
merger.factor	ui.gadgets.labeled: make <labeled-gadget> not take a color.	2018-02-11 09:53:48 -08:00