Hallo,
es gibt 3 verschiedene Vorgehensweisen, einmal über die Konfiguration in TB (about:config) oder über die Dateien prefs.js. bzw. Ist im Prinzip dasselbe, wobei die Gefahr, TB zu zerschießen, bei letzter größer ist, wenn man so etwa noch nie gemacht hat. Vor allem muss man immer eine Sicherung der Datei machen und TB muss geschlossen sein.
In der user.js (evtl neu erzeugen) ist es ungefählicher. Ein neuer Eintrag dort drin wird dann automatisch beim Start in die prefs.js geladen. Man kann die user.js also vor allem bei neuen Einträgen benutzen.
Du bist also absolut richtig vorgegangen.
Gruß
