Update JupyterLab -> RetroLab

pull/6294/head
Jeremy Tuloup 5 years ago committed by GitHub
parent 53c282ca25
commit cfddb800f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -89,7 +89,7 @@ const dirty: JupyterFrontEndPlugin<void> = {
}
const trans = translator.load('jupyterlab');
const message = trans.__(
'Are you sure you want to exit JupyterLab?\n\nAny unsaved changes will be lost.'
'Are you sure you want to exit RetroLab?\n\nAny unsaved changes will be lost.'
);
window.addEventListener('beforeunload', event => {

Loading…
Cancel
Save