I don't auto-refresh is involved, it is just the usual refresh that happens after settings might have been changed, i.e. it is as if you clicked refresh in every open tab. Where that segmentation fault comes from, I don't know but I would guess some object life cycle is not handled correctly. In any case, it is hard to diagnose this without a stack trace.
Hello again,
I don't auto-refresh is involved, it is just the usual refresh that happens after settings might have been changed, i.e. it is as if you clicked refresh in every open tab. Where that segmentation fault comes from, I don't know but I would guess some object life cycle is not handled correctly. In any case, it is hard to diagnose this without a stack trace.
Best regards, Adam.