Ressources Libs/Extensions Themes Manager

Gestionnaire de thèmes et d'extensions dans xulrunner

Xulrunner met à la disposition de vos applications un gestionnaire de thèmes et d'extensions (semblable a celui de Firefox ou Thunderbird). Voici les étapes nécessaires à leurs activations/utilisations.

1)Mettre à jour l'application.ini en rajoutant :

 [XRE]
 EnableExtensionManager=true

2)Créer dans le répertoire locale, un répertoire branding/en-US

=> chrome/locale/branding/en-US/

3)Ajouter cette ligne dans le chrome.manifest

 locale branding en-US locale/branding/en-US/

4)Créer le fichier brand.dtd dans le répertoire locale/branding/en-US avec :

 <!ENTITY  brandShortName      "ShortName">
 <!ENTITY  brandFullName         "FullName">
 <!ENTITY  vendorShortName    "Author">
 <!ENTITY  releaseURL            "URL">

 et brand.properties (marche sans également)

 brandShortName=Firefox
 brandFullName=Mozilla Firefox
 vendorShortName=Mozilla

5)Ajouter ces lignes dans votre app-prefs.js (defaults/preferences)

 pref("browser.preferences.animateFadeIn", true);

 pref("xpinstall.dialog.confirm", "chrome://mozapps/content/xpinstall/xpinstallConfirm.xul");
 pref("xpinstall.dialog.progress.skin",  "chrome://mozapps/content/extensions/extensions.xul?type=themes");
 pref("xpinstall.dialog.progress.chrome",  "chrome://mozapps/content/extensions/extensions.xul?type=extensions");
 pref("xpinstall.dialog.progress.type.skin", "Extension:Manager-themes");
 pref("xpinstall.dialog.progress.type.chrome", "Extension:Manager-extensions");

 //A vérifier si nécessaire
 pref("extensions.update.enabled", true);
 pref("extensions.update.interval", 86400);
 pref("extensions.dss.enabled", false);
 pref("extensions.dss.switchPending", false);
 pref("extensions.ignoreMTimeChanges", false);
 pref("extensions.logging.enabled", false);


 //A mettre sinon erreur
 pref("extensions.update.url","chrome://mozapps/locale/extensions/extensions.properties");
 pref("extensions.getMoreExtensionsURL",   "chrome://mozapps/locale/extensions/extensions.properties");
 pref("extensions.getMoreThemesURL",           "chrome://mozapps/locale/extensions/extensions.properties");

6)Vous pouvez ouvrir le panel d'extensions ou thèmes avec :

 window.openDialog("chrome://mozapps/content/extensions/extensions.xul?type=extensions",
 "ext", "chrome,dialog,centerscreen,resizable")

 window.openDialog("chrome://mozapps/content/extensions/extensions.xul?type=themes",
 "ext", "chrome,dialog,centerscreen,resizable")

Dernière modification le mai 30, 2006 4:58 .


Le contenu de cette page est disponible selon certaines conditions de réutilisation. Lire aussi la page des informations légales.

Mozilla® est une marque déposée de la fondation Mozilla.
Mozilla.org™, Firefox™, Thunderbird™, Mozilla Suite™ et XUL™ sont des marques de la fondation Mozilla.