When updating the server URL preference to connect to a different trace server, the Trace Explorer is not rendered if the origin trace server doesn't have any traces or server is not started. Hence after the update, the welcome page stays. The refresh works fine when the original server has traces and the trace explorer is rendered. One has to press the refresh button to refresh the view.
When updating the server URL preference to connect to a different trace server, the Trace Explorer is not rendered if the origin trace server doesn't have any traces or server is not started. Hence after the update, the welcome page stays. The refresh works fine when the original server has traces and the trace explorer is rendered. One has to press the refresh button to refresh the view.