mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-02-23 12:49:41 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #237 from krassowski/patch-1

Browse Source 
Add missing translations to help extension
This commit is contained in:
Jeremy Tuloup 2021-09-27 09:01:06 +02:00 committed by GitHub
commit 7d2a18d99a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
packages/help-extension/src/index.tsx
View File

@ -125,6 +125,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
);
const retroNotebookURL = 'https://github.com/jupyterlab/retrolab';
const linkLabel = trans.__('RETROLAB ON GITHUB');
const externalLinks = (
<span>
<a
@ -133,13 +134,14 @@ const plugin: JupyterFrontEndPlugin<void> = {
rel="noopener noreferrer"
className="jp-Button-flat jp-AboutRetro-about-externalLinks"
>
RETROLAB ON GITHUB
{linkLabel}
</a>
</span>
);
const version = trans.__('Version: %1', app.version);
const body = (
<>
<span className="jp-AboutRetro-body">Version: {app.version}</span>
<span className="jp-AboutRetro-body">{version}</span>
<div>{externalLinks}</div>
</>
);
@ -149,7 +151,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
body,
buttons: [
Dialog.createButton({
label: 'Dismiss',
label: trans.__('Dismiss'),
className:
'jp-AboutRetro-about-button jp-mod-reject jp-mod-styled'
})