mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-12-09 03:50:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add link to the Jupyter logo

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-08 17:06:11 +01:00
parent ebfeaf35c7
commit b9d0cdc5f7
4 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jupyterlab_classic/templates/notebooks.html
View File

@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>{{page_config['appName'] | e}}</title>
<title>{{page_config['appName'] | e}} - Notebook</title>
</head>
<body>

2
jupyterlab_classic/templates/tree.html
View File

@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>{{page_config['appName'] | e}}</title>
<title>{{page_config['appName'] | e}} - Tree</title>
</head>
<body>

1
packages/application-extension/package.json
View File

@ -42,6 +42,7 @@
"@jupyterlab/apputils": "^3.0.0-rc.12",
"@jupyterlab/codeeditor": "^3.0.0-rc.12",
"@jupyterlab/codemirror": "^3.0.0-rc.12",
"@jupyterlab/coreutils": "^5.0.0-rc.12",
"@jupyterlab/docregistry": "^3.0.0-rc.12",
"@jupyterlab/mainmenu": "^3.0.0-rc.12",
"@jupyterlab/settingregistry": "^3.0.0-rc.12",

11
packages/application-extension/src/index.ts
View File

@ -15,6 +15,8 @@ import {
ICommandPalette
} from '@jupyterlab/apputils';
import { PageConfig } from '@jupyterlab/coreutils';
import { IMainMenu } from '@jupyterlab/mainmenu';
import { ITranslator, TranslationManager } from '@jupyterlab/translation';
@ -68,9 +70,14 @@ const logo: JupyterFrontEndPlugin<void> = {
id: '@jupyterlab-classic/application-extension:logo',
autoStart: true,
activate: (app: JupyterFrontEnd) => {
const logo = new Widget();
const baseUrl = PageConfig.getBaseUrl();
const node = document.createElement('a');
node.href = `${baseUrl}classic/tree`;
node.target = '_blank';
node.rel = 'noopener noreferrer';
const logo = new Widget({ node });
jupyterIcon.element({
container: logo.node,
container: node,
elementPosition: 'center',
padding: '2px 2px 2px 8px',
height: '28px',