def _prompt_finished_hook(self):
        """ Called immediately after a prompt is finished, i.e. when some input
            will be processed and a new prompt displayed.
        """
        if not self._reading:
            self._highlighter.highlighting_on = False
 Called immediately after a prompt is finished, i.e. when some input
            will be processed and a new prompt displayed.
        
angrmanagement/vendor/qtconsole/frontend_widget.py