2014-06-25 09:12:07 +04:00
|
|
|
// -*- indent-tabs-mode: nil; js-indent-level: 2 -*-
|
2012-06-26 03:11:16 +04:00
|
|
|
|
|
|
|
/* 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/. */
|
2005-02-25 12:07:58 +03:00
|
|
|
|
|
|
|
var FontBuilder = {
|
|
|
|
_enumerator: null,
|
2016-12-31 05:47:25 +03:00
|
|
|
get enumerator() {
|
2005-02-25 12:07:58 +03:00
|
|
|
if (!this._enumerator) {
|
|
|
|
this._enumerator = Components.classes["@mozilla.org/gfx/fontenumerator;1"]
|
|
|
|
.createInstance(Components.interfaces.nsIFontEnumerator);
|
|
|
|
}
|
|
|
|
return this._enumerator;
|
|
|
|
},
|
|
|
|
|
|
|
|
_allFonts: null,
|
2016-03-14 16:01:05 +03:00
|
|
|
_langGroupSupported: false,
|
2017-09-12 21:05:37 +03:00
|
|
|
async buildFontList(aLanguage, aFontType, aMenuList) {
|
2005-02-25 12:07:58 +03:00
|
|
|
// Reset the list
|
|
|
|
while (aMenuList.hasChildNodes())
|
2017-03-08 12:17:52 +03:00
|
|
|
aMenuList.firstChild.remove();
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
var defaultFont = null;
|
|
|
|
// Load Font Lists
|
2017-09-12 21:05:37 +03:00
|
|
|
var fonts = await this.enumerator.EnumerateFontsAsync(aLanguage, aFontType);
|
2005-02-25 12:07:58 +03:00
|
|
|
if (fonts.length > 0)
|
|
|
|
defaultFont = this.enumerator.getDefaultFont(aLanguage, aFontType);
|
|
|
|
else {
|
2017-09-12 21:05:37 +03:00
|
|
|
fonts = await this.enumerator.EnumerateFontsAsync(aLanguage, "");
|
2005-02-25 12:07:58 +03:00
|
|
|
if (fonts.length > 0)
|
|
|
|
defaultFont = this.enumerator.getDefaultFont(aLanguage, "");
|
|
|
|
}
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
if (!this._allFonts)
|
2017-09-12 21:05:37 +03:00
|
|
|
this._allFonts = await this.enumerator.EnumerateAllFontsAsync({});
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
// Build the UI for the Default Font and Fonts for this CSS type.
|
|
|
|
var popup = document.createElement("menupopup");
|
|
|
|
var separator;
|
|
|
|
if (fonts.length > 0) {
|
|
|
|
if (defaultFont) {
|
|
|
|
var bundlePreferences = document.getElementById("bundlePreferences");
|
|
|
|
var label = bundlePreferences.getFormattedString("labelDefaultFont", [defaultFont]);
|
|
|
|
var menuitem = document.createElement("menuitem");
|
|
|
|
menuitem.setAttribute("label", label);
|
|
|
|
menuitem.setAttribute("value", ""); // Default Font has a blank value
|
|
|
|
popup.appendChild(menuitem);
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
separator = document.createElement("menuseparator");
|
|
|
|
popup.appendChild(separator);
|
|
|
|
}
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
for (var i = 0; i < fonts.length; ++i) {
|
|
|
|
menuitem = document.createElement("menuitem");
|
|
|
|
menuitem.setAttribute("value", fonts[i]);
|
|
|
|
menuitem.setAttribute("label", fonts[i]);
|
|
|
|
popup.appendChild(menuitem);
|
|
|
|
}
|
|
|
|
}
|
2016-02-04 01:22:33 +03:00
|
|
|
|
|
|
|
// Build the UI for the remaining fonts.
|
2005-02-25 12:07:58 +03:00
|
|
|
if (this._allFonts.length > fonts.length) {
|
2016-03-14 16:01:05 +03:00
|
|
|
this._langGroupSupported = true;
|
2005-02-25 12:07:58 +03:00
|
|
|
// Both lists are sorted, and the Fonts-By-Type list is a subset of the
|
|
|
|
// All-Fonts list, so walk both lists side-by-side, skipping values we've
|
2016-02-04 01:22:33 +03:00
|
|
|
// already created menu items for.
|
2005-02-25 12:07:58 +03:00
|
|
|
var builtItem = separator ? separator.nextSibling : popup.firstChild;
|
2005-02-28 15:52:48 +03:00
|
|
|
var builtItemValue = builtItem ? builtItem.getAttribute("value") : null;
|
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
separator = document.createElement("menuseparator");
|
|
|
|
popup.appendChild(separator);
|
2016-02-04 01:22:33 +03:00
|
|
|
|
2005-02-25 12:07:58 +03:00
|
|
|
for (i = 0; i < this._allFonts.length; ++i) {
|
2005-02-28 15:52:48 +03:00
|
|
|
if (this._allFonts[i] != builtItemValue) {
|
2005-02-25 12:07:58 +03:00
|
|
|
menuitem = document.createElement("menuitem");
|
|
|
|
menuitem.setAttribute("value", this._allFonts[i]);
|
|
|
|
menuitem.setAttribute("label", this._allFonts[i]);
|
|
|
|
popup.appendChild(menuitem);
|
2016-12-31 05:47:25 +03:00
|
|
|
} else {
|
2005-02-25 12:07:58 +03:00
|
|
|
builtItem = builtItem.nextSibling;
|
2005-02-28 15:52:48 +03:00
|
|
|
builtItemValue = builtItem ? builtItem.getAttribute("value") : null;
|
|
|
|
}
|
2005-02-25 12:07:58 +03:00
|
|
|
}
|
|
|
|
}
|
2016-02-04 01:22:33 +03:00
|
|
|
aMenuList.appendChild(popup);
|
2015-05-19 08:41:48 +03:00
|
|
|
},
|
|
|
|
|
2016-12-31 05:47:25 +03:00
|
|
|
readFontSelection(aElement) {
|
2015-05-19 08:41:48 +03:00
|
|
|
// Determine the appropriate value to select, for the following cases:
|
|
|
|
// - there is no setting
|
|
|
|
// - the font selected by the user is no longer present (e.g. deleted from
|
|
|
|
// fonts folder)
|
|
|
|
let preference = document.getElementById(aElement.getAttribute("preference"));
|
|
|
|
if (preference.value) {
|
|
|
|
let fontItems = aElement.getElementsByAttribute("value", preference.value);
|
|
|
|
|
|
|
|
// There is a setting that actually is in the list. Respect it.
|
|
|
|
if (fontItems.length)
|
|
|
|
return undefined;
|
|
|
|
}
|
|
|
|
|
2017-03-29 17:55:37 +03:00
|
|
|
// Otherwise, use "default" font of current system which is computed
|
|
|
|
// with "font.name-list.*". If "font.name.*" is empty string, it means
|
|
|
|
// "default". So, return empty string in this case.
|
|
|
|
return "";
|
2005-06-14 14:19:34 +04:00
|
|
|
}
|
2005-02-25 12:07:58 +03:00
|
|
|
};
|