(RGUI) RGUI input code now no longer GEKKO-specific