From f9cab004186edb425a9b88ad649726605080a17c Mon Sep 17 00:00:00 2001 From: Thomas Groman Date: Mon, 20 Apr 2020 20:49:37 -0700 Subject: move browser to webbrowser/ --- webbrowser/components/places/content/menu.xml | 488 ++++++++++++++++++++++++++ 1 file changed, 488 insertions(+) create mode 100644 webbrowser/components/places/content/menu.xml (limited to 'webbrowser/components/places/content/menu.xml') diff --git a/webbrowser/components/places/content/menu.xml b/webbrowser/components/places/content/menu.xml new file mode 100644 index 0000000..d4041ec --- /dev/null +++ b/webbrowser/components/places/content/menu.xml @@ -0,0 +1,488 @@ + + +# 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/. + + + + + + + + + + + + + + + + + document.getAnonymousElementByAttribute(this, "class", + "menupopup-drop-indicator-bar"); + + + + document.getAnonymousElementByAttribute(this, "class", + "popup-internal-box"); + + + + PlacesUIUtils.getViewForNode(this); + + + + + = firstChildTop || + target.boxObject.y <= lastChildBottom; + + // Hide the dropmarker if current node is not a Places node. + return !(target && target._placesNode && betweenMarkers); + ]]> + + + + + + + + + + + + + + + + + + + + + + + + + + + elt.boxObject.screenY + + elt.boxObject.height / 2) + elt = elt.nextSibling; + newMarginTop = elt ? elt.boxObject.screenY - sbo.screenY : + sbo.height; + } + else if (scrollDir == 1) + newMarginTop = sbo.height; + + // Set the new marginTop based on arrowscrollbox. + newMarginTop += sbo.y - this._scrollBox.boxObject.y; + this._indicatorBar.firstChild.style.marginTop = newMarginTop + "px"; + this._indicatorBar.hidden = false; + + event.preventDefault(); + event.stopPropagation(); + ]]> + + + + + + + + -- cgit v1.2.3