On Wed, Oct 2, 2019 at 5:42 AM Ergus <address@hidden> wrote:
> if so, the code does nothing.
That's what I'm asking. Not how to check for an integer, but what to do when/if it's not. I don't have the foggiest idea what's usually done with errors during redisplay.