diff gui/ui/widgets.h @ 34167:131d0e04a50b

Remove completely pointless/nonsensical code.
author reimar
date Tue, 25 Oct 2011 19:20:38 +0000
parents 162828e38481
children 31a5320909f7
line wrap: on
line diff