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

Change "Interface" menu to "Open in...", shorten names of menu items inside#6847

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 18 commits intojupyter:mainfromandrii-i:open_with_menu
May 5, 2023
Merged
Changes from1 commit
Commits
Show all changes
18 commits
Select commitHold shift + click to select a range
f1f319a
rename commandLabel
andrii-iApr 19, 2023
e591851
attemp to keep longer name in command palette
andrii-iApr 19, 2023
68a4583
Remove trying to keep longer name for command palette
andrii-iApr 19, 2023
ea3f72a
Attempt to register 2 commands to show the same command in the comman…
andrii-iApr 19, 2023
c6a322e
fix passing paletteCommand to palette.addItem
andrii-iApr 19, 2023
a843449
account for "args" being potentially passed to label
andrii-iApr 20, 2023
cc01503
change command palette wording to "Open in"
andrii-iApr 20, 2023
902bed1
capitalize "in" in "Open In..." btn title for consistency
andrii-iApr 20, 2023
71b1ed8
Make "in" not capitalized in "Open in..."
andrii-iApr 20, 2023
c8006fd
use 'Open in %1' string formation form
andrii-iMay 2, 2023
1ea8e1e
Update snapshots
jtpioMay 4, 2023
7a6c540
Merge branch 'main' into open_with_menu
andrii-iMay 4, 2023
ca2dc23
rename commandPaletteLabel into commandDescription
andrii-iMay 4, 2023
c79966d
use command with description as a label in view menu
andrii-iMay 4, 2023
25d9093
update snapshots manually
andrii-iMay 5, 2023
c80c2ee
update more snapshots manually
andrii-iMay 5, 2023
52d12b5
Use isPalette and isMenu
jtpioMay 5, 2023
7001cdf
Lint
jtpioMay 5, 2023
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
NextNext commit
rename commandLabel
  • Loading branch information
@andrii-i
andrii-i committedMay 2, 2023
commitf1f319a89d16e92b3c81dca545cf507211d130fa
6 changes: 3 additions & 3 deletionspackages/lab-extension/src/index.ts
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -78,7 +78,7 @@ const interfaceSwitcher: JupyterFrontEndPlugin<void> = {
};
const menubar = new MenuBar(overflowOptions);
const switcher = new Menu({ commands });
switcher.title.label = trans.__('Interface');
switcher.title.label = trans.__('Open in...');
switcher.title.icon = caretDownIcon;
menubar.addMenu(switcher);

Expand DownExpand Up@@ -114,7 +114,7 @@ const interfaceSwitcher: JupyterFrontEndPlugin<void> = {
if (!notebookShell) {
addInterface({
command: CommandIDs.openNotebook,
commandLabel: trans.__('Open With %1', 'Jupyter Notebook'),
commandLabel: trans.__('Notebook'), //trans.__('Open With %1', 'Jupyter Notebook'),
buttonLabel: 'openNotebook',
urlPrefix: `${baseUrl}tree/`,
});
Expand All@@ -123,7 +123,7 @@ const interfaceSwitcher: JupyterFrontEndPlugin<void> = {
if (!labShell) {
addInterface({
command: CommandIDs.openLab,
commandLabel: trans.__('Open With %1', 'JupyterLab'),
commandLabel: trans.__('JupyterLab'),
buttonLabel: 'openLab',
urlPrefix: `${baseUrl}doc/tree/`,
});
Expand Down
[8]ページ先頭
©2009-2025 Movatter.jp