Preferences -> Settings takes a very long time to open
Hello,
It seems like the time that the Preferences->Settings menu takes to open depends on the size of the trace currently open. For instance, with this trace: paje.trace it takes a few seconds, while for this trace: https://dept-info.labri.fr/~thibault/tmp/gpu.trace it takes minutes.
I have tried with git 38510db9 (Mon Aug 8 10:11:39 2022)
Samuel