diff -r 000000000000 -r 6474c204b198 browser/metro/base/content/bindings/bindings.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/browser/metro/base/content/bindings/bindings.xml Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,359 @@ + + + + + +%browserDTD; +]> + + + + + + + 0.8) + this._insertItems(); + ]]> + + + + + + + this.scrollBoxObject.height; + [] + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0 || selectionEnd < aTextbox.textLength) + json.types.push("select-all"); + + let clipboard = Components.classes["@mozilla.org/widget/clipboard;1"]. + getService(Ci.nsIClipboard); + let flavors = ["text/unicode"]; + let hasData = clipboard.hasDataMatchingFlavors(flavors, flavors.length, Ci.nsIClipboard.kGlobalClipboard); + + if (hasData && (!aTextbox.readOnly || aIgnoreReadOnly)) { + json.types.push("paste"); + if (aTextbox.type == "url") { + json.types.push("paste-url"); + } + } + json.xPos = aEvent.clientX; + json.yPos = aEvent.clientY; + json.source = aEvent.mozInputSource; + ContextMenuUI.showContextMenu({ target: aTextbox, json: json }); + ]]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +