diff --git a/packages/jupyterlab-lsp/src/features/diagnostics/diagnostics.ts b/packages/jupyterlab-lsp/src/features/diagnostics/diagnostics.ts index 1763c313b..e15ee5329 100644 --- a/packages/jupyterlab-lsp/src/features/diagnostics/diagnostics.ts +++ b/packages/jupyterlab-lsp/src/features/diagnostics/diagnostics.ts @@ -249,7 +249,10 @@ class DiagnosticsPanel { .writeText(message) .then(() => { Notification.info( - this.trans.__('Successfully copied "%1" to clipboard', message) + this.trans.__('Successfully copied "%1" to clipboard', message), + { + autoClose: 3 * 1000 + } ); }) .catch(() => { diff --git a/packages/jupyterlab-lsp/src/features/jump_to.ts b/packages/jupyterlab-lsp/src/features/jump_to.ts index e4691cef1..5ebe31656 100644 --- a/packages/jupyterlab-lsp/src/features/jump_to.ts +++ b/packages/jupyterlab-lsp/src/features/jump_to.ts @@ -353,10 +353,9 @@ export class NavigationFeature extends Feature { const jumper = this.getJumper(adapter); if (!targetInfo) { - const notificationID = Notification.info( - this._trans.__('No jump targets found') - ); - setTimeout(() => Notification.dismiss(notificationID), 2 * 1000); + Notification.info(this._trans.__('No jump targets found'), { + autoClose: 3 * 1000 + }); return JumpResult.NoTargetsFound; } @@ -542,12 +541,9 @@ export const JUMP_PLUGIN: JupyterFrontEndPlugin = { const { connection, virtualPosition, document, adapter } = context; if (!connection) { - const notificationId = Notification.info( - trans.__('Connection not found for jump') - ); - setTimeout(() => { - Notification.dismiss(notificationId); - }, 2 * 1000); + Notification.warning(trans.__('Connection not found for jump'), { + autoClose: 4 * 1000 + }); return; } @@ -588,12 +584,9 @@ export const JUMP_PLUGIN: JupyterFrontEndPlugin = { const { connection, virtualPosition, document, adapter } = context; if (!connection) { - const notificationId = Notification.info( - trans.__('Connection not found for jump') - ); - setTimeout(() => { - Notification.dismiss(notificationId); - }, 2 * 1000); + Notification.warning(trans.__('Connection not found for jump'), { + autoClose: 5 * 1000 + }); return; } diff --git a/packages/jupyterlab-lsp/src/features/rename.ts b/packages/jupyterlab-lsp/src/features/rename.ts index e74720631..5e04b31d8 100644 --- a/packages/jupyterlab-lsp/src/features/rename.ts +++ b/packages/jupyterlab-lsp/src/features/rename.ts @@ -116,7 +116,9 @@ export class RenameFeature extends Feature { severity = 'error'; } - Notification.emit(status, severity); + Notification.emit(status, severity, { + autoClose: (severity === 'error' ? 5 : 3) * 1000 + }); } catch (error) { this.console.warn(error); } @@ -267,9 +269,11 @@ export const RENAME_PLUGIN: JupyterFrontEndPlugin = { } if (!status) { - Notification.error(trans.__(`Rename failed: %1`, error)); + Notification.error(trans.__(`Rename failed: %1`, error), { + autoClose: 5 * 1000 + }); } else { - Notification.info(status); + Notification.warning(status, { autoClose: 3 * 1000 }); } }; @@ -287,7 +291,8 @@ export const RENAME_PLUGIN: JupyterFrontEndPlugin = { return; } Notification.info( - trans.__('Renaming %1 to %2...', oldValue, newValue) + trans.__('Renaming %1 to %2…', oldValue, newValue), + { autoClose: 3 * 1000 } ); const edit = await connection!.clientRequests[ 'textDocument/rename'