Fix interval select display
These commits fix :
- IntervalSelect not updating when adding or removing a trace
- filenames being too short which could lead to confusion when opening files with the same name
Edited by Philippe SWARTVAGHER
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
These commits fix :