Patch from post #8 applied on Ubuntu 20.04 and 20.10: WORKS FINE thanks a lot also crash on file -> preferences disappeared
Patch from post #8 applied on Ubuntu 20.04 and 20.10: WORKS FINE
thanks a lot
also crash on file -> preferences disappeared