diff gui/interface.c @ 35269:7b3252fa7761

Avoid code duplication and pointless casts.
author reimar
date Tue, 06 Nov 2012 21:37:49 +0000
parents 6f214e8ae780
children 5fbd422b355e
line wrap: on
line diff