/**
 * JupyterLab extension: Open in VS Code
 *
 * Adds an "Open in VS Code" button to the JupyterLab top bar.
 *
 * Clicking it:
 *  1. Calls /hub/api/users/{name}/vscode-connect to get a signed, short-lived URI
 *  2. Opens vscode://groundsada.jhub-vscode/connect?hub=...&token=...&user=...
 *  3. VS Code handles the rest:
 *     - Prompts to install "JupyterHub Remote" extension if not present
 *     - Downloads jhub-ssh binary if needed
 *     - Writes SSH config + opens remote window
 *
 * No setup, no CLI, no config required from the user.
 */
import { JupyterFrontEndPlugin } from '@jupyterlab/application';
declare const plugin: JupyterFrontEndPlugin<void>;
export default plugin;
//# sourceMappingURL=index.d.ts.map