def rehighlightBlock(self, block):
        """ Reimplemented to temporarily enable highlighting if disabled.
        """
        old = self.highlighting_on
        self.highlighting_on = True
        super().rehighlightBlock(block)
        self.highlighting_on = old
 Reimplemented to temporarily enable highlighting if disabled.
        
angrmanagement/vendor/qtconsole/frontend_widget.py