That will be fixed next release due soon, just comment it out to reproduce the other issue
you also have to change QtGui.QTextDocument() to self.document() in /usr/lib/python3/dist-packages/IPython/frontend/qt/console/pygments_highlighter.py:97 to fully fix this issue
That will be fixed next release due soon, just comment it out to reproduce the other issue ment() to self.document() in /usr/lib/ python3/ dist-packages/ IPython/ frontend/ qt/console/ pygments_ highlighter. py:97 to fully fix this issue
you also have to change QtGui.QTextDocu