When selecting text with the mouse (by clicking and dragging in a prompt-toolkit text editing field), I noticed that it doesn't render the selected text as highlighted until after I release the mouse ...

Make sure you have python installed in your System. If not you can visit to https://www.python.org/downloads/ Note: If you are using windows system make sure that ...