Browse Source

Don't use ampersands in labels.

Ian Rose 7 years ago
parent
commit
7a3888c0e0

+ 1 - 1
packages/codemirror-extension/src/index.ts

@@ -205,7 +205,7 @@ function activateEditorCommands(app: JupyterLab, tracker: IEditorTracker, mainMe
   });
   });
 
 
   commands.addCommand(CommandIDs.findAndReplace, {
   commands.addCommand(CommandIDs.findAndReplace, {
-    label: 'Find & Replace...',
+    label: 'Find and Replace...',
     execute: () => {
     execute: () => {
       let widget = tracker.currentWidget;
       let widget = tracker.currentWidget;
       if (!widget) {
       if (!widget) {

+ 2 - 2
packages/notebook-extension/src/index.ts

@@ -876,7 +876,7 @@ function addCommands(app: JupyterLab, services: ServiceManager, tracker: Noteboo
     isEnabled
     isEnabled
   });
   });
   commands.addCommand(CommandIDs.restartClear, {
   commands.addCommand(CommandIDs.restartClear, {
-    label: 'Restart Kernel & Clear All Outputs',
+    label: 'Restart Kernel and Clear All Outputs',
     execute: args => {
     execute: args => {
       const current = getCurrent(args);
       const current = getCurrent(args);
 
 
@@ -890,7 +890,7 @@ function addCommands(app: JupyterLab, services: ServiceManager, tracker: Noteboo
     isEnabled
     isEnabled
   });
   });
   commands.addCommand(CommandIDs.restartRunAll, {
   commands.addCommand(CommandIDs.restartRunAll, {
-    label: 'Restart Kernel & Run All',
+    label: 'Restart Kernel and Run All',
     execute: args => {
     execute: args => {
       const current = getCurrent(args);
       const current = getCurrent(args);