4ff9279a0b
Summary: If there server disconnects, we used to show a red box message on the lower left section of the screen. It didn't say much other than the server had disconnected. If you are aware of what the server is, then you may try to manually restart it. Instead of doing that, a much better experience is to show the no connection troubleshoot with the button to start the server or with instructions on how to achieve this. Reviewed By: antonk52 Differential Revision: D48467308 fbshipit-source-id: 0ffded95789c7548d9f1e1a9127409e02e72ab8c
25 lines
538 B
TypeScript
25 lines
538 B
TypeScript
/**
|
|
* Copyright (c) Meta Platforms, Inc. and affiliates.
|
|
*
|
|
* This source code is licensed under the MIT license found in the
|
|
* LICENSE file in the root directory of this source tree.
|
|
*
|
|
* @format
|
|
*/
|
|
|
|
import type {RenderHost} from 'flipper-ui-core';
|
|
|
|
declare global {
|
|
interface Window {
|
|
flipperConfig: {
|
|
theme: 'light' | 'dark' | 'system';
|
|
entryPoint: string;
|
|
debug: boolean;
|
|
};
|
|
|
|
flipperShowMessage?(message: string): void;
|
|
flipperHideMessage?(): void;
|
|
flipperShowNoConnection?(): void;
|
|
}
|
|
}
|