def _document_contents_change(self, position, removed, added):
        """ Called whenever the document's content changes. Display a call tip
            if appropriate.
        """
        # Calculate where the cursor should be *after* the change:
        position += added
        if position == self._get_cursor().position():
            self._auto_call_tip()
 Called whenever the document's content changes. Display a call tip
            if appropriate.
        
angrmanagement/vendor/qtconsole/frontend_widget.py