Instellingen van extensies

Met extensies en thema's kun je Mozilla-software vrijwel eindeloos uitbreiden. Kun je anderen een bepaalde extensie/thema aanbevelen? Of heb je vragen over of problemen met een bepaalde extensie/thema dan kun je die hier plaatsen.
Plaats reactie
Gebruikersavatar
JimB
Berichten: 505
Lid geworden op: 4 april 2005, 17:40
Locatie: Deurne (B)
    unknown unknown

Instellingen van extensies

Bericht door JimB »

Kan er mij misschien nog even iemand eraan herinneren in welk bestand van mijn profiles folder de extensies hun specifieke gebruikersafhankelijke instellingen bewaren ?
Ik heb namelijk af en toe het probleem dat als ik een extensie bijvoeg er een aantal niet meer werken.
Die moeten dan verwijderd en terug geinstalleerd worden
Ik ben er bijna zeker van dat dit te wijten is aan het feit dat dat bestand met die instellingen dus, moet herschreven worden telkens er een extensie bijkomt.

Het is in elk geval geen inkompabiliteitsprobleem, vermits de extensies al maanden goed werken.
Gebruikersavatar
nirwana
Beheerder
Berichten: 11529
Lid geworden op: 19 september 2003, 5:09
    unknown unknown
Contacteer:

Bericht door nirwana »

Een extensie houdt z'n instellingen volgens mij bij in de algemene Firefox-instellingen (prefs.js in je profiel). Als je about:config intikt in je adresbalk dan kun je ook de instellingen van de extensies zien (als naam_extensie.naam_instelling, bijvoorbeeld greasemonkey.editor).
Met vriendelijke groet,

Martijn
[ Mede-oprichter + webmaster MozBrowser | beheerder Startpagina's over freeware, GIMP, Mozilla en OpenOffice.org / LibreOffice, Ubuntu
Manuel
Berichten: 2539
Lid geworden op: 21 december 2004, 20:16
Locatie: Alkmaar, Nederland
    unknown unknown

Bericht door Manuel »

En bovendien ook nog in de afzonderlijke mappen van de respectievelijke extensies:

Afbeelding
Gebruikersavatar
vulture
Berichten: 3981
Lid geworden op: 20 november 2004, 17:58
Locatie: Zoo (aasgier)
    unknown unknown
Contacteer:

Bericht door vulture »

Manuel schreef:En bovendien ook nog in de afzonderlijke mappen van de respectievelijke extensies:
Wat wel jammer is dat die mappen niet de naam hebben van de extensie. En wat ook jammer is dat als je een extensie deinstalleerd err soms wel instellingen in about:config blijven staan. Dit vervuild about:config nogal voor mensen zoals ik die veel extensies uitproberen.
MAC OSX 10.48 en Ubuntu 6.10
Ferdi's World en Ferdi's Photo's
Manuel
Berichten: 2539
Lid geworden op: 21 december 2004, 20:16
Locatie: Alkmaar, Nederland
    unknown unknown

Bericht door Manuel »

vulture schreef:
Manuel schreef:En bovendien ook nog in de afzonderlijke mappen van de respectievelijke extensies:
Wat wel jammer is dat die mappen niet de naam hebben van de extensie.
Het zal een reden hebben? Maar met een paar muiskliks zie je ook om wat voor extensie het gaat: in extensiemap/chrome zit altijd een bestand extensienaam.jar
vulture schreef:En wat ook jammer is dat als je een extensie deinstalleerd err soms wel instellingen in about:config blijven staan. Dit vervuild about:config nogal voor mensen zoals ik die veel extensies uitproberen.
Zonder meer. Ik loop zelf altijd na verwijderen van extensies prefs.js even na, maar dat doet natuurlijk niet iedereen.

Een andere optie is natuurlijk om extensies uit te proberen in een testprofiel.
Plaats reactie