toolkit/obsolete/content/globalOverlay.xul@8bccb770b82d (annotated)
toolkit/obsolete/content/globalOverlay.xul
Wed, 31 Dec 2014 13:27:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 13:27:57 +0100
- branch
- TOR_BUG_3246
- changeset 6
- 8bccb770b82d
- permissions
- -rw-r--r--
Ignore runtime configuration files generated during quality assurance.
| michael@0 | 1 | <?xml version="1.0"?> |
| michael@0 | 2 | <!-- This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | - License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
| michael@0 | 5 | |
| michael@0 | 6 | |
| michael@0 | 7 | <overlay id="globalOverlay" |
| michael@0 | 8 | xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> |
| michael@0 | 9 | |
| michael@0 | 10 | <script type="application/javascript" src="chrome://global/content/globalOverlay.js"/> |
| michael@0 | 11 | <script type="application/javascript"><![CDATA[ |
| michael@0 | 12 | |
| michael@0 | 13 | function FillInTooltip ( tipElement ) |
| michael@0 | 14 | { |
| michael@0 | 15 | var retVal = false; |
| michael@0 | 16 | var textNode = document.getElementById("TOOLTIP-tooltipText"); |
| michael@0 | 17 | if (textNode) { |
| michael@0 | 18 | while (textNode.hasChildNodes()) |
| michael@0 | 19 | textNode.removeChild(textNode.firstChild); |
| michael@0 | 20 | var tipText = tipElement.getAttribute("tooltiptext"); |
| michael@0 | 21 | if (tipText) { |
| michael@0 | 22 | var node = document.createTextNode(tipText); |
| michael@0 | 23 | textNode.appendChild(node); |
| michael@0 | 24 | retVal = true; |
| michael@0 | 25 | } |
| michael@0 | 26 | } |
| michael@0 | 27 | return retVal; |
| michael@0 | 28 | } |
| michael@0 | 29 | |
| michael@0 | 30 | ]]></script> |
| michael@0 | 31 | |
| michael@0 | 32 | <popupset id="aTooltipSet"> |
| michael@0 | 33 | <tooltip id="aTooltip" class="tooltip" onpopupshowing="return FillInTooltip(document.tooltipNode);"> |
| michael@0 | 34 | <label id="TOOLTIP-tooltipText" class="tooltip-label" flex="1"/> |
| michael@0 | 35 | </tooltip> |
| michael@0 | 36 | </popupset> |
| michael@0 | 37 | |
| michael@0 | 38 | </overlay> |
