For the records, I've added an issue on Frescobaldi tracker:
https://github.com/frescobaldi/frescobaldi/issues/1412




Reply via email to