Eduardo Cavazos 4f2dc6b8d2 ui.gadgets.wrappers: use (>>dim)		2008-07-21 17:11:28 -05:00
..
wrappers.factor	ui.gadgets.wrappers: use (>>dim)	2008-07-21 17:11:28 -05:00