On 6/26/2018 9:50 PM, Mathias Lang wrote: > If anyone has any suggestion, it is very welcome! Yes, I know about this problem. I'm pretty sure there's a bugzilla entry for it. I don't have a solution, but I didn't spend a lot of time on it. Your idea sounds worth exploring.