inputGUI: hopefully fix cursor positioning problem that happens on recent OS versions (but definitely not on the emulator's 1.02 OS).