Horizontal scrolling not updated until wndow resize event about qtconsole

[ccordoba12]

Hey @hrdl-github, thanks for reporting. I also think it's important to fix this issue but I don't have time to take a look at it.

Could you try to solve it to see how hard it is?

[hrdl-github]

I don't know enough about GUI frameworks to make sense of this. Apparently both the vertical scroll bar's visibility policy and whether we update the vertical scrollbar's range influence whether the horizontal scrollbar behaves as expected.

Removing

qtconsole/qtconsole/console_widget.py

Line 2556 in 56e5a5e

scrollbar.setRange(0, round(maximum))

while setting control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn) seems to work. Doing the former with any other value or not explicitly setting affects prevents both scrollbars from being displayed.

Also, calling e.g. self._control.horizontalScrollBar().setRange(0, 10) in adjust_scrollbars() will cause this function to be called infinitely often.

[hrdl-github]

Under certain conditions this breaks vertical scrolling, so it's more of a starting point to investigate what goes wrong.