) Salve, non saprei cos'altro suggerirti, cercando in rete l'output del tuo problema viene riportata solo questa discussione.
L'unica soluzione che vedo è di sottoporre l'output al gruppo di sviluppo, a questo link
https://github.com/frescobaldi/frescobaldi/issues , potrebbe essere che hai scoperto un nuovo baco.
Per completezza intendo questo intero output:
Traceback (most recent call last):
File "/usr/share/frescobaldi/frescobaldi_app/widgets/linenumberarea.py", line 83, in paintEvent
rect.moveTop(geom.top())
TypeError: moveTop(self, int): argument 1 has unexpected type 'float'
Più quale sistemi usi, la release, il
DE, ed altre eventuali info utili.
:: Ciao