3 Commits

Author	SHA1	Message	Date
michael	d1a479a4bc	UI enhancement: toggle panels, shortcuts, new icons, slimmer layout	2011-01-17 16:34:07 -05:00
Oliver Duis	97a2d3b979	Panel hiding enhancements on behalf of Michael Ezra; See issue #458	2011-01-09 00:09:38 +01:00
Wyatt Olson	0ba5ff1771	Re-generated translations	2010-12-08 19:07:27 -07:00