Alexander Bentkamp f4ac6ef7fb remove infoprovider.dispose() ...

The issue is that this removes the server notification subscriptions and then we get an error because react executes the cleanup of child components only after cleanup of parent components

2023-01-24 17:17:25 +01:00

..

public

import editor

2022-11-23 12:51:21 +01:00

src

remove infoprovider.dispose()

2023-01-24 17:17:25 +01:00