Issue 4544 - Consider platformHTMLBindings.xml when detecting available keyboard shortcuts

lib/keySelector.js

 /* This Source Code Form is subject to the terms of the Mozilla Public
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
 Cu.import("resource://gre/modules/Services.jsm");
 
 let validModifiers = Object.create(null);
 validModifiers.ACCEL = null;
 validModifiers.CTRL = "control";
 validModifiers.CONTROL = "control";
 validModifiers.SHIFT = "shift";
 validModifiers.ALT = "alt";
 validModifiers.META = "meta";
 
+let bindingsKeys = null;
+(function()
+{
+  let request = new XMLHttpRequest();
+  request.open("GET", "chrome://global/content/platformHTMLBindings.xml");
+  request.addEventListener("load", () =>
+  {
+    bindingsKeys = request.responseXML.getElementsByTagName("handler");
+  });
+  request.send();
+})();
+
+
 /**
  * Sets the correct value of validModifiers.ACCEL.
  */
 function initAccelKey()
 {
   validModifiers.ACCEL = "control";
   try
   {
     let accelKey = Services.prefs.getIntPref("ui.key.accelKey");
     if (accelKey == Ci.nsIDOMKeyEvent.DOM_VK_CONTROL)
@@ skipping 33 matching lines @@
   /**
    * Sets up _existingShortcuts property for a window.
    */
   _initExistingShortcuts: function(/**ChromeWindow*/ window)
   {
     if (!validModifiers.ACCEL)
       initAccelKey();
 
     this._existingShortcuts = Object.create(null);
 
-    let keys = window.document.getElementsByTagName("key");
+    let keys = Array.prototype.slice.apply(window.document.getElementsByTagName("key"));
+    if (bindingsKeys)
+      keys.push.apply(keys, bindingsKeys);
     for (let i = 0; i < keys.length; i++)
     {
       let key = keys[i];
       let keyData =
       {
         shift: false,
         meta: false,
         alt: false,
         control: false,
         char: null,
@@ skipping 124 matching lines @@
     return false;
   if (key.meta != event.metaKey || key.control != event.ctrlKey)
     return false;
 
   if (key.char && event.charCode && String.fromCharCode(event.charCode).toUpperCase() == key.char)
     return true;
   if (key.code && event.keyCode && event.keyCode == key.code)
     return true;
   return false;
 };