UNPKG

1.22 kBJavaScriptView Raw
1// Copyright (c) Jupyter Development Team.
2// Distributed under the terms of the Modified BSD License.
3import { Token } from '@lumino/coreutils';
4/**
5 * A token for which a plugin can provide to respond to connection failures
6 * to the application server.
7 */
8export const IConnectionLost = new Token('@jupyterlab/application:IConnectionLost', `A service for invoking the dialog shown
9 when JupyterLab has lost its connection to the server. Use this if, for some reason,
10 you want to bring up the "connection lost" dialog under new circumstances.`);
11/**
12 * The application status token.
13 */
14export const ILabStatus = new Token('@jupyterlab/application:ILabStatus', `A service for interacting with the application busy/dirty
15 status. Use this if you want to set the application "busy" favicon, or to set
16 the application "dirty" status, which asks the user for confirmation before leaving the application page.`);
17/**
18 * The URL Router token.
19 */
20export const IRouter = new Token('@jupyterlab/application:IRouter', 'The URL router used by the application. Use this to add custom URL-routing for your extension (e.g., to invoke a command if the user navigates to a sub-path).');
21//# sourceMappingURL=tokens.js.map
\No newline at end of file