A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
These commit move the select info window to be an attribute in RenderLayout.
Thus, there is one SelectInfo for each trace.
In each SelectInfo window there is one or two buttons to center the trace on the beginning or the end of the selected entity.