本文整理汇总了TypeScript中@jupyterlab/apputils.Dialog.dispose方法的典型用法代码示例。如果您正苦于以下问题：TypeScript Dialog.dispose方法的具体用法？TypeScript Dialog.dispose怎么用？TypeScript Dialog.dispose使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类@jupyterlab/apputils.Dialog的用法示例。
在下文中一共展示了Dialog.dispose方法的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: redirect
export async function redirect(router: IRouter, warn = false): Promise<void> {
const form = createRedirectForm(warn);
const dialog = new Dialog({
title: 'Please use a different workspace.',
body: form,
focusNodeSelector: 'input',
buttons: [Dialog.okButton({ label: 'Switch Workspace' })]
});
const result = await dialog.launch();
dialog.dispose();
if (!result.value) {
return redirect(router, true);
}
// Navigate to a new workspace URL and abandon this session altogether.
const workspaces = PageConfig.getOption('workspacesUrl');
const url = URLExt.join(workspaces, result.value);
router.navigate(url, { hard: true, silent: true });
// This promise will never resolve because the application navigates
// away to a new location. It only exists to satisfy the return type
// of the `redirect` function.
return new Promise<void>(() => undefined);
}示例2: redirect
export async function redirect(
router: IRouter,
paths: JupyterFrontEnd.IPaths,
workspace: string,
warn = false
): Promise<void> {
const form = createRedirectForm(warn);
const dialog = new Dialog({
title: 'Please use a different workspace.',
body: form,
focusNodeSelector: 'input',
buttons: [Dialog.okButton({ label: 'Switch Workspace' })]
});
const result = await dialog.launch();
dialog.dispose();
if (!result.value) {
return redirect(router, paths, workspace, true);
}
// Navigate to a new workspace URL and abandon this session altogether.
const page = paths.urls.page;
const workspaces = paths.urls.workspaces;
const prefix = (workspace ? workspaces : page).length + workspace.length;
const rest = router.current.request.substring(prefix);
const url = URLExt.join(workspaces, result.value, rest);
router.navigate(url, { hard: true, silent: true });
// This promise will never resolve because the application navigates
// away to a new location. It only exists to satisfy the return type
// of the `redirect` function.
return new Promise<void>(() => undefined);
}示例3: fn
.then(result => {
if (result.button.accept) {
return fn();
}
dialog.dispose();
dialog = null;
debouncer = window.setTimeout(() => {
recover(fn);
}, SPLASH_RECOVER_TIMEOUT);
})示例4:
ready.then(() => {
if (--splashCount === 0) {
if (debouncer) {
window.clearTimeout(debouncer);
debouncer = 0;
}
if (dialog) {
dialog.dispose();
dialog = null;
}
splash.classList.add('splash-fade');
window.setTimeout(() => { document.body.removeChild(splash); }, 500);
}
});示例5: redirect
return dialog.launch().then(result => {
dialog.dispose();
if (result.value) {
const url = `workspaces/${result.value}`;
// Navigate to a new workspace URL and abandon this session altogether.
router.navigate(url, { hard: true, silent: true });
// This promise will never resolve because the application navigates
// away to a new location. It only exists to satisfy the return type
// of the `redirect` function.
return new Promise<void>(() => { /* no-op */ });
}
return redirect(router, true);
});