diff gui/interface.h @ 35189:33e13b4ddfcb

Fix copy-paste error found by Coverity (yes, it really has a COPY_PASTE_ERROR error-type for that...).
author reimar
date Tue, 30 Oct 2012 16:30:47 +0000
parents 5a45efc630b8
children 11408d97de7a
line wrap: on
line diff