John Benediktsson f6af1da32f ui: use control-value/set-control-value in a few places.		2014-12-17 13:05:00 -08:00
..
authors.txt	…
slides.factor	ui: use control-value/set-control-value in a few places.	2014-12-17 13:05:00 -08:00
summary.txt	…