toolkit/mozapps/extensions/content/about.js

Sat, 03 Jan 2015 20:18:00 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Sat, 03 Jan 2015 20:18:00 +0100
branch
TOR_BUG_3246
changeset 7
129ffea94266
permissions
-rw-r--r--

Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.

michael@0 1 // -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
michael@0 2
michael@0 3 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 4 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 5 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 6
michael@0 7 "use strict";
michael@0 8
michael@0 9 function init() {
michael@0 10 var addon = window.arguments[0];
michael@0 11 var extensionsStrings = document.getElementById("extensionsStrings");
michael@0 12
michael@0 13 document.documentElement.setAttribute("addontype", addon.type);
michael@0 14
michael@0 15 if (addon.iconURL) {
michael@0 16 var extensionIcon = document.getElementById("extensionIcon");
michael@0 17 extensionIcon.src = addon.iconURL;
michael@0 18 }
michael@0 19
michael@0 20 document.title = extensionsStrings.getFormattedString("aboutWindowTitle", [addon.name]);
michael@0 21 var extensionName = document.getElementById("extensionName");
michael@0 22 extensionName.textContent = addon.name;
michael@0 23
michael@0 24 var extensionVersion = document.getElementById("extensionVersion");
michael@0 25 if (addon.version)
michael@0 26 extensionVersion.setAttribute("value", extensionsStrings.getFormattedString("aboutWindowVersionString", [addon.version]));
michael@0 27 else
michael@0 28 extensionVersion.hidden = true;
michael@0 29
michael@0 30 var extensionDescription = document.getElementById("extensionDescription");
michael@0 31 if (addon.description)
michael@0 32 extensionDescription.textContent = addon.description;
michael@0 33 else
michael@0 34 extensionDescription.hidden = true;
michael@0 35
michael@0 36 var numDetails = 0;
michael@0 37
michael@0 38 var extensionCreator = document.getElementById("extensionCreator");
michael@0 39 if (addon.creator) {
michael@0 40 extensionCreator.setAttribute("value", addon.creator);
michael@0 41 numDetails++;
michael@0 42 } else {
michael@0 43 extensionCreator.hidden = true;
michael@0 44 var extensionCreatorLabel = document.getElementById("extensionCreatorLabel");
michael@0 45 extensionCreatorLabel.hidden = true;
michael@0 46 }
michael@0 47
michael@0 48 var extensionHomepage = document.getElementById("extensionHomepage");
michael@0 49 var homepageURL = addon.homepageURL;
michael@0 50 if (homepageURL) {
michael@0 51 extensionHomepage.setAttribute("homepageURL", homepageURL);
michael@0 52 extensionHomepage.setAttribute("tooltiptext", homepageURL);
michael@0 53 numDetails++;
michael@0 54 } else {
michael@0 55 extensionHomepage.hidden = true;
michael@0 56 }
michael@0 57
michael@0 58 numDetails += appendToList("extensionDevelopers", "developersBox", addon.developers);
michael@0 59 numDetails += appendToList("extensionTranslators", "translatorsBox", addon.translators);
michael@0 60 numDetails += appendToList("extensionContributors", "contributorsBox", addon.contributors);
michael@0 61
michael@0 62 if (numDetails == 0) {
michael@0 63 var groove = document.getElementById("groove");
michael@0 64 groove.hidden = true;
michael@0 65 var extensionDetailsBox = document.getElementById("extensionDetailsBox");
michael@0 66 extensionDetailsBox.hidden = true;
michael@0 67 }
michael@0 68
michael@0 69 var acceptButton = document.documentElement.getButton("accept");
michael@0 70 acceptButton.label = extensionsStrings.getString("aboutWindowCloseButton");
michael@0 71
michael@0 72 setTimeout(sizeToContent, 0);
michael@0 73 }
michael@0 74
michael@0 75 function appendToList(aHeaderId, aNodeId, aItems) {
michael@0 76 var header = document.getElementById(aHeaderId);
michael@0 77 var node = document.getElementById(aNodeId);
michael@0 78
michael@0 79 if (!aItems || aItems.length == 0) {
michael@0 80 header.hidden = true;
michael@0 81 return 0;
michael@0 82 }
michael@0 83
michael@0 84 for (let currentItem of aItems) {
michael@0 85 var label = document.createElement("label");
michael@0 86 label.textContent = currentItem;
michael@0 87 label.setAttribute("class", "contributor");
michael@0 88 node.appendChild(label);
michael@0 89 }
michael@0 90
michael@0 91 return aItems.length;
michael@0 92 }
michael@0 93
michael@0 94 function loadHomepage(aEvent) {
michael@0 95 window.close();
michael@0 96 openURL(aEvent.target.getAttribute("homepageURL"));
michael@0 97 }

mercurial