[ ] Maintenance (Non-breaking change that updates dependencies)
[ ] Development changes (Changes that do not add new features or fix bugs, but update the project in other ways)
[x] Bug fix (Non-breaking change which fixes an issue)
[ ] Feature (Non-breaking change which adds functionality)
[ ] Breaking change (Major bug fix or feature that would cause existing functionality not to work as expected.)
Summary
Fixed file switching state inconsistency issues with the render data and websocket connection, which caused issues in the consistency of data such as the websocket retaining the previous channel information and the render data store preserving the old render state.
Closes #180
List of Changes
Implemented proper file switching functionality for the profile view, which nows also clears the render data, fetches for security reasons the most recent file version and destroys the old websocket client and channel to allow for a fresh instance when initialising the editor.
What type of change does this PR perform?
Summary
Fixed file switching state inconsistency issues with the render data and websocket connection, which caused issues in the consistency of data such as the websocket retaining the previous channel information and the render data store preserving the old render state.
Closes #180
List of Changes
Does this PR create new warnings?
None.
Linked issues or PRs