Fix for the gui_to_int() function for when a text instead of an int is given by the user.
Authored by: bugman 2012-04-17
Parent: [r15753]
Child: [r15755]