Hallo,
Es gibt:
greprefs/prefs/all.js
defaults/prefs/firefox.js
defaults/profile/prefs.js
Wo ist der Unterschied? Bzw. warum gibt es nicht eine zentrale Datei, aus der die Profileinstellungen generiert werden?
Sorry, wenn ich so dreist nachfrage, aber vielleicht kann das ja jemand kurz erklären.
Gruesse aus HH
Sören