2 commits

Author	SHA1	Message	Date
Matthias Richter	c1d743ddbd	Add gui.group{arguments-gui.group.push, func}. ... Convenience function that wraps func() in a push/pop pair, i.e. gui.group{grow=grow, spacing=spacing, size=size, pos=pos, function() do_stuff() end} is equivalent to gui.group.push{grow=grow, spacing=spacing, size=size, pos=pos} do_stuff() gui.group.pop()	2013-01-23 12:32:16 +01:00
Matthias Richter	adc7887587	Mega update: Auto layout, code cleanup, api change. ... Basically half a rewrite.	2012-05-09 21:27:45 +02:00