Traceback (most recent call last):
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/musicview/widget.py", line 106, in openDocument
    self.view.setDocument(doc)
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/view.py", line 405, in setDocument
    with self.modifyPages() as pages:
  File "/usr/lib64/python3.10/contextlib.py", line 142, in __exit__
    next(self.gen)
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/view.py", line 376, in modifyPages
    self.updatePageLayout(lazy)
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/widgetoverlay.py", line 161, in updatePageLayout
    super().updatePageLayout(lazy)
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/view.py", line 344, in updatePageLayout
    self.setAreaSize(self._pageLayout.size())
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/scrollarea.py", line 104, in setAreaSize
    self._updateScrollBars()
  File "/home/hildegard/bin/frescobaldi-3.1.3/frescobaldi_app/qpageview/scrollarea.py", line 189, in _updateScrollBars
    vbar.setPageStep(viewport.height() * .9)
TypeError: setPageStep(self, int): argument 1 has unexpected type 'float'