Remove revert and close shortcuts

examples/filebrowser/src/index.ts

@@ -113,20 +113,6 @@ function main(): void {
       docManager.save();
       return true;
     }
-  }, {
-    sequence: ['Accel R'],
-    selector: '.jp-CodeMirrorWidget',
-    handler: () => {
-      docManager.revert();
-      return true;
-    }
-  }, {
-    sequence: ['Ctrl W'],
-    selector: '.jp-CodeMirrorWidget',
-    handler: () => {
-      docManager.close();
-      return true;
-    }
   }]);
 
   window.addEventListener('keydown', (event) => {
@@ -180,6 +166,10 @@ function main(): void {
       icon: 'fa fa-download',
       handler: () => { fbWidget.download(); }
     }),
+    new MenuItem({
+      text: 'Revert',
+      handler: () => { docManager.revert(); }
+    }),
     new MenuItem({
       text: 'Shutdown Kernel',
       icon: 'fa fa-stop-circle-o',