1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
// -*- indent-tabs-mode: nil; js-indent-level: 2 -*-
/* 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/. */
var FontBuilder = {
_enumerator: null,
get enumerator ()
{
if (!this._enumerator) {
this._enumerator = Components.classes["@mozilla.org/gfx/fontenumerator;1"]
.createInstance(Components.interfaces.nsIFontEnumerator);
}
return this._enumerator;
},
_allFonts: null,
_langGroupSupported: false,
buildFontList: function (aLanguage, aFontType, aMenuList)
{
// Reset the list
while (aMenuList.hasChildNodes())
aMenuList.removeChild(aMenuList.firstChild);
var defaultFont = null;
// Load Font Lists
var fonts = this.enumerator.EnumerateFonts(aLanguage, aFontType, { } );
if (fonts.length > 0)
defaultFont = this.enumerator.getDefaultFont(aLanguage, aFontType);
else {
fonts = this.enumerator.EnumerateFonts(aLanguage, "", { });
if (fonts.length > 0)
defaultFont = this.enumerator.getDefaultFont(aLanguage, "");
}
if (!this._allFonts)
this._allFonts = this.enumerator.EnumerateAllFonts({});
// 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);
separator = document.createElement("menuseparator");
popup.appendChild(separator);
}
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);
}
}
// Build the UI for the remaining fonts.
if (this._allFonts.length > fonts.length) {
this._langGroupSupported = true;
// 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
// already created menu items for.
var builtItem = separator ? separator.nextSibling : popup.firstChild;
var builtItemValue = builtItem ? builtItem.getAttribute("value") : null;
separator = document.createElement("menuseparator");
popup.appendChild(separator);
for (i = 0; i < this._allFonts.length; ++i) {
if (this._allFonts[i] != builtItemValue) {
menuitem = document.createElement("menuitem");
menuitem.setAttribute("value", this._allFonts[i]);
menuitem.setAttribute("label", this._allFonts[i]);
popup.appendChild(menuitem);
}
else {
builtItem = builtItem.nextSibling;
builtItemValue = builtItem ? builtItem.getAttribute("value") : null;
}
}
}
aMenuList.appendChild(popup);
},
readFontSelection(aElement)
{
// 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;
}
// The first item will be a reasonable choice only if the font backend
// supports language-specific enumaration.
let defaultValue = this._langGroupSupported ?
aElement.firstChild.firstChild.getAttribute("value") : "";
let fontNameList = preference.name.replace(".name.", ".name-list.");
let prefFontNameList = document.getElementById(fontNameList);
if (!prefFontNameList || !prefFontNameList.value)
return defaultValue;
let fontNames = prefFontNameList.value.split(",");
for (let i = 0; i < fontNames.length; ++i) {
let fontName = this.enumerator.getStandardFamilyName(fontNames[i].trim());
let fontItems = aElement.getElementsByAttribute("value", fontName);
if (fontItems.length)
return fontItems[0].getAttribute("value");
}
return defaultValue;
}
};
|
