Thanks for this clarification, Mitch.
No I don’t care if it’s None or an empty string. Just thought it might be worth while updating the docs.
However it definitely would be nice to be able to differentiate between Esc and Enter being pressed by the user. I’m using this function with the optional “strings” argument to choose between some options of the script and this is the last user interaction before the actual process starts. So this would be the last moment to stop the script. That’s why it would be very nice to be able to recognize if the user pressed Esc.
Kind regards, Gero.