Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Added Edit Notebook Metadata Option (#6402)#7099

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
jtpio merged 21 commits intojupyter:mainfromDilip-Jain:edit-notebook-metadata
Feb 7, 2024
Merged
Changes from1 commit
Commits
Show all changes
21 commits
Select commitHold shift + click to select a range
a4077bb
Added Edit Notebook Metadata Option (#6402)
Dilip-JainOct 9, 2023
b2e380a
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]Oct 9, 2023
c597c36
Added Edit Notebook Metadata Option (#6402)
Dilip-JainOct 9, 2023
0691f87
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]Oct 9, 2023
1fd2872
Merge branch 'jupyter:main' into edit-notebook-metadata
Dilip-JainOct 14, 2023
657313c
Prettier Code for passing Test Lint check
Dilip-JainOct 14, 2023
ab1fd64
Prettier Code for passing Test Lint check
Dilip-JainOct 14, 2023
e6600a9
Merge branch 'main' into edit-notebook-metadata
jtpioDec 22, 2023
ac9beab
Merge branch 'main' into edit-notebook-metadata
jtpioJan 2, 2024
d7061c2
Merge branch 'jupyter:main' into edit-notebook-metadata
Dilip-JainFeb 4, 2024
5916885
adding the edit-notebook-metadata entry via schema
Dilip-JainFeb 4, 2024
a5519f3
adding the edit-notebook-metadata entry via schema
Dilip-JainFeb 4, 2024
4efdd7d
adding the edit-notebook-metadata entry via schema
Dilip-JainFeb 4, 2024
a2b8be8
adding the edit-notebook-metadata entry via schema
Dilip-JainFeb 4, 2024
73188df
adding the edit-notebook-metadata entry via schema
Dilip-JainFeb 4, 2024
f9091c5
Merge branch 'main' into edit-notebook-metadata
jtpioFeb 7, 2024
dcbc9ad
fix menu item
jtpioFeb 7, 2024
7a3db32
Add to the command palette
jtpioFeb 7, 2024
405b732
Update Playwright Snapshots
github-actions[bot]Feb 7, 2024
e73e9a4
Update Playwright Snapshots
github-actions[bot]Feb 7, 2024
b699a33
fix snapshots
jtpioFeb 7, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
PrevPrevious commit
NextNext commit
Added Edit Notebook Metadata Option (#6402)
  • Loading branch information
@Dilip-Jain
Dilip-Jain authoredOct 9, 2023
commitc597c3602d79589af593d13a90e75f8727f06fb1
20 changes: 10 additions & 10 deletionspackages/notebook-extension/src/index.ts
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -503,20 +503,20 @@ const editNotebookMetadata: JupyterFrontEndPlugin<void> = {
const command = 'application:toggle-panel';
const args = {
side: 'right',
title:`Show Notebook Tools`,
title:'Show Notebook Tools',
id: 'notebook-tools',
}

};
// Check if Show Notebook Tools (Right Sidebar) is open (expanded)
if (!commands.isToggled(command, args)){
await commands.execute(command, args).then(_ => {
if (!commands.isToggled(command, args)){
await commands.execute(command, args).then((_) => {

// For expanding the 'Advanced Tools' section (default: collapsed)
if (notebookTools){
let tools = (notebookTools?.layout as any).widgets;
if (notebookTools){
const tools = (notebookTools?.layout as any).widgets;
tools.forEach((tool: any) => {
if (tool.widget.title.label === 'Advanced Tools' && tool.collapsed){
tool.toggle()
if (tool.widget.title.label === 'Advanced Tools' && tool.collapsed){
tool.toggle();
}
});
}
Expand All@@ -526,7 +526,7 @@ const editNotebookMetadata: JupyterFrontEndPlugin<void> = {
});

// Add `Edit Notebook Metadata` option to Edit menu
menu.editMenu.addItem({type: 'command', command: id, rank: 40})
menu.editMenu.addItem({type: 'command', command: id, rank: 40})
},
};

Expand Down

[8]ページ先頭

©2009-2025 Movatter.jp