Aha, war schon mal ein guter Tipp, denn die Schaltflächen waren noch da, aber in diesem "Überhangmenü" versteckt. Dieses Überhangmenü hatte ich genau deshalb abgeschaltet.
Also, die meisten Skripte scheinen auch mit der neuen prefs.js zu funktionieren. Aber ein Teil meines Designs ging flöten. Das muss ich jetzt erstmal wieder hinbiegen, damit ich den FF wieder benutzen kann. Speichert die prefs.js denn auch mein per CSS geändertes Aussehen des FF?