2005-06-23 Sven Neumann <sven@gimp.org> * plug-ins/script-fu/script-fu-console.c: removed redundant labels.