Python REPL (on Linux) has strange behaviour for delete and arrow keys

[ntoll]

Hi, I've only tested this on Linux (Ubuntu 18.04) using this build.

When I enter the Python REPL and try to interact with it via the delete and arrow keys (for history) I get all sorts of strange behaviour. Delete simply doesn't update the screen (although the characters in the buffer are deleted, they don't look that way), and the command history accessed via the arrow keys doesn't update the screen correctly either.

You can see what I mean in the following screenie:

[ntoll]

Ahh, forget it. It appears to be a duplication of #28. I guess your suggestion of better documentation in the discussion on that ticket would be welcome. Thanks..!