devtools

1af3032f - Attempt to reconnect to DTD automatically if the connection drops (#9587)

Attempt to reconnect to DTD automatically if the connection drops (#9587) * Attempt to reconnect to DTD automatically if the connection drops - Repurposes the property editor "ReconnectingOverlay" as a more general "Connecting Overlay" also for the sidebar. - If a DTD connection drops, it will be retried up to 5 times (and the new connection sent to the ValueNotifier) - If the connection fails after all retries, a "Retry" button is shown to allow the user to restart connection attempts again - The periodic check for the connection being alive is now part of DTDManager instead of only the property editor - DTDManager now also emits state values so consumers can handle each state differently (rather than just connected/not connected) - Mock editor for Stager apps now has a "Drop Connection" button to similate DTD connection drops - Stager apps that use the mock editor now use a real DTDManager (since they connect to real DTD) and can simulate slow and failed connections - Removed the force refresh for reconnect, and instead just made the `_DtdConnectedScreen` use a `key` so that when the connection changes, the widget gets new state