2018-01-13 8:54 GMT+01:00 Heinz Diehl <htd+ml@xxxxxxxxxx>: > > A shot in the dark: what happens when you disable the use of JRE? > The switch is in Tools - Options - Advanced. This didn't make any difference: still 100% CPU used. BTW, installing the last update 5.4.4.2-3 (in the update-testing repo), solved the issue. Thanks, Alessio _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
