web/res/metadataplayer/Shortcuts.js
changeset 1304 10974bff4dae
parent 1198 ff4b567d51f2
--- a/web/res/metadataplayer/Shortcuts.js	Fri Dec 11 18:11:13 2015 +0100
+++ b/web/res/metadataplayer/Shortcuts.js	Tue Dec 29 13:25:14 2015 +0100
@@ -6,7 +6,7 @@
  * Keyboard shortcuts widget
  * This widgets add global shortcuts for common actions.
  * The default shortcuts are: 
- * - Escape or Control-space for play/pause
+ * - Control-space for play/pause
  * - Control-left for rewind (+shift to go faster)
  * - Control-right for forward (+shift to go faster)
  */
@@ -21,7 +21,7 @@
     var  _this = this;
     
     /* Standard shortcuts */
-    Mousetrap.bindGlobal(["esc", "ctrl+space"], function (e) {
+    Mousetrap.bindGlobal("ctrl+space", function (e) {
         e.preventDefault();
         if (! _this.media.getPaused()) {
             _this.media.pause();
@@ -54,5 +54,11 @@
         _this.media.setCurrentTime(Math.min(_this.media.duration, _this.media.getCurrentTime() + 5 * _this.time_increment));
         return false;
     });
+    Mousetrap.bindGlobal("ctrl+a", function (e) {
+        // Annotate
+        e.preventDefault();
+        _this.player.trigger("CreateAnnotation.toggle");
+        return false;
+    });
 
 };