mirror of
https://gitlab.winehq.org/wine/wine-gecko.git
synced 2024-09-13 09:24:08 -07:00
4d6a633bba
The -*- file variable lines -*- establish per-file settings that Emacs will pick up. This patch makes the following changes to those lines (and touches nothing else): - Never set the buffer's mode. Years ago, Emacs did not have a good JavaScript mode, so it made sense to use Java or C++ mode in .js files. However, Emacs has had js-mode for years now; it's perfectly serviceable, and is available and enabled by default in all major Emacs packagings. Selecting a mode in the -*- file variable line -*- is almost always the wrong thing to do anyway. It overrides Emacs's default choice, which is (now) reasonable; and even worse, it overrides settings the user might have made in their '.emacs' file for that file extension. It's only useful when there's something specific about that particular file that makes a particular mode appropriate. - Correctly propagate settings that establish the correct indentation level for this file: c-basic-offset and js2-basic-offset should be js-indent-level. Whatever value they're given should be preserved; different parts of our tree use different indentation styles. - We don't use tabs in Mozilla JS code. Always set indent-tabs-mode: nil. Remove tab-width: settings, at least in files that don't contain tab characters. - Remove js2-mode settings that belong in the user's .emacs file, like js2-skip-preprocessor-directives.
199 lines
6.6 KiB
JavaScript
199 lines
6.6 KiB
JavaScript
/* -*- indent-tabs-mode: nil; js-indent-level: 4 -*- */
|
|
/* 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 gContentPane = {
|
|
|
|
/**
|
|
* Initializes the fonts dropdowns displayed in this pane.
|
|
*/
|
|
init: function ()
|
|
{
|
|
this._rebuildFonts();
|
|
var menulist = document.getElementById("defaultFont");
|
|
if (menulist.selectedIndex == -1) {
|
|
menulist.insertItemAt(0, "", "", "");
|
|
menulist.selectedIndex = 0;
|
|
}
|
|
|
|
// Show translation preferences if we may:
|
|
const prefName = "browser.translation.ui.show";
|
|
if (Services.prefs.getBoolPref(prefName)) {
|
|
let row = document.getElementById("translationBox");
|
|
row.removeAttribute("hidden");
|
|
}
|
|
},
|
|
|
|
// UTILITY FUNCTIONS
|
|
|
|
/**
|
|
* Utility function to enable/disable the button specified by aButtonID based
|
|
* on the value of the Boolean preference specified by aPreferenceID.
|
|
*/
|
|
updateButtons: function (aButtonID, aPreferenceID)
|
|
{
|
|
var button = document.getElementById(aButtonID);
|
|
var preference = document.getElementById(aPreferenceID);
|
|
button.disabled = preference.value != true;
|
|
return undefined;
|
|
},
|
|
|
|
// BEGIN UI CODE
|
|
|
|
/*
|
|
* Preferences:
|
|
*
|
|
* dom.disable_open_during_load
|
|
* - true if popups are blocked by default, false otherwise
|
|
*/
|
|
|
|
// POP-UPS
|
|
|
|
/**
|
|
* Displays the popup exceptions dialog where specific site popup preferences
|
|
* can be set.
|
|
*/
|
|
showPopupExceptions: function ()
|
|
{
|
|
var bundlePreferences = document.getElementById("bundlePreferences");
|
|
var params = { blockVisible: false, sessionVisible: false, allowVisible: true, prefilledHost: "", permissionType: "popup" };
|
|
params.windowTitle = bundlePreferences.getString("popuppermissionstitle");
|
|
params.introText = bundlePreferences.getString("popuppermissionstext");
|
|
document.documentElement.openWindow("Browser:Permissions",
|
|
"chrome://browser/content/preferences/permissions.xul",
|
|
"", params);
|
|
},
|
|
|
|
|
|
// FONTS
|
|
|
|
/**
|
|
* Populates the default font list in UI.
|
|
*/
|
|
_rebuildFonts: function ()
|
|
{
|
|
var langGroupPref = document.getElementById("font.language.group");
|
|
this._selectDefaultLanguageGroup(langGroupPref.value,
|
|
this._readDefaultFontTypeForLanguage(langGroupPref.value) == "serif");
|
|
},
|
|
|
|
/**
|
|
*
|
|
*/
|
|
_selectDefaultLanguageGroup: function (aLanguageGroup, aIsSerif)
|
|
{
|
|
const kFontNameFmtSerif = "font.name.serif.%LANG%";
|
|
const kFontNameFmtSansSerif = "font.name.sans-serif.%LANG%";
|
|
const kFontNameListFmtSerif = "font.name-list.serif.%LANG%";
|
|
const kFontNameListFmtSansSerif = "font.name-list.sans-serif.%LANG%";
|
|
const kFontSizeFmtVariable = "font.size.variable.%LANG%";
|
|
|
|
var prefs = [{ format : aIsSerif ? kFontNameFmtSerif : kFontNameFmtSansSerif,
|
|
type : "fontname",
|
|
element : "defaultFont",
|
|
fonttype : aIsSerif ? "serif" : "sans-serif" },
|
|
{ format : aIsSerif ? kFontNameListFmtSerif : kFontNameListFmtSansSerif,
|
|
type : "unichar",
|
|
element : null,
|
|
fonttype : aIsSerif ? "serif" : "sans-serif" },
|
|
{ format : kFontSizeFmtVariable,
|
|
type : "int",
|
|
element : "defaultFontSize",
|
|
fonttype : null }];
|
|
var preferences = document.getElementById("contentPreferences");
|
|
for (var i = 0; i < prefs.length; ++i) {
|
|
var preference = document.getElementById(prefs[i].format.replace(/%LANG%/, aLanguageGroup));
|
|
if (!preference) {
|
|
preference = document.createElement("preference");
|
|
var name = prefs[i].format.replace(/%LANG%/, aLanguageGroup);
|
|
preference.id = name;
|
|
preference.setAttribute("name", name);
|
|
preference.setAttribute("type", prefs[i].type);
|
|
preferences.appendChild(preference);
|
|
}
|
|
|
|
if (!prefs[i].element)
|
|
continue;
|
|
|
|
var element = document.getElementById(prefs[i].element);
|
|
if (element) {
|
|
element.setAttribute("preference", preference.id);
|
|
|
|
if (prefs[i].fonttype)
|
|
FontBuilder.buildFontList(aLanguageGroup, prefs[i].fonttype, element);
|
|
|
|
preference.setElementValue(element);
|
|
}
|
|
}
|
|
},
|
|
|
|
/**
|
|
* Returns the type of the current default font for the language denoted by
|
|
* aLanguageGroup.
|
|
*/
|
|
_readDefaultFontTypeForLanguage: function (aLanguageGroup)
|
|
{
|
|
const kDefaultFontType = "font.default.%LANG%";
|
|
var defaultFontTypePref = kDefaultFontType.replace(/%LANG%/, aLanguageGroup);
|
|
var preference = document.getElementById(defaultFontTypePref);
|
|
if (!preference) {
|
|
preference = document.createElement("preference");
|
|
preference.id = defaultFontTypePref;
|
|
preference.setAttribute("name", defaultFontTypePref);
|
|
preference.setAttribute("type", "string");
|
|
preference.setAttribute("onchange", "gContentPane._rebuildFonts();");
|
|
document.getElementById("contentPreferences").appendChild(preference);
|
|
}
|
|
return preference.value;
|
|
},
|
|
|
|
/**
|
|
* Displays the fonts dialog, where web page font names and sizes can be
|
|
* configured.
|
|
*/
|
|
configureFonts: function ()
|
|
{
|
|
document.documentElement.openSubDialog("chrome://browser/content/preferences/fonts.xul",
|
|
"", null);
|
|
},
|
|
|
|
/**
|
|
* Displays the colors dialog, where default web page/link/etc. colors can be
|
|
* configured.
|
|
*/
|
|
configureColors: function ()
|
|
{
|
|
document.documentElement.openSubDialog("chrome://browser/content/preferences/colors.xul",
|
|
"", null);
|
|
},
|
|
|
|
// LANGUAGES
|
|
|
|
/**
|
|
* Shows a dialog in which the preferred language for web content may be set.
|
|
*/
|
|
showLanguages: function ()
|
|
{
|
|
document.documentElement.openSubDialog("chrome://browser/content/preferences/languages.xul",
|
|
"", null);
|
|
},
|
|
|
|
/**
|
|
* Displays the translation exceptions dialog where specific site and language
|
|
* translation preferences can be set.
|
|
*/
|
|
showTranslationExceptions: function ()
|
|
{
|
|
document.documentElement.openWindow("Browser:TranslationExceptions",
|
|
"chrome://browser/content/preferences/translation.xul",
|
|
"", null);
|
|
},
|
|
|
|
openTranslationProviderAttribution: function ()
|
|
{
|
|
Components.utils.import("resource:///modules/translation/Translation.jsm");
|
|
Translation.openProviderAttribution();
|
|
}
|
|
};
|