Ich hab den Prefs-Eintrag jetzt selbst gefunden. Dummerweise habe ich mir den Namen nicht notieren können, weil erst der zweite Versuch ein Hit war und ich nicht mehr weiß welchen Eintrag ich da verwendet hatte. Wäre also dennoch nett, wenn hier jemand den richtigen Namen nennen könnte. Ich kann mir vorstellen, dass ich nicht der Einzige bin, der in diese Falle tappt.
Ich werde versuchen einen Bug-Report bei Mozilla-TB zu platzieren. Ist nicht mein Erster. Auch wenn nicht jeder mit mir übereinstimmen mag, aber dieses Verhalten ist nach meiner Bewertung ein Bug und kein Feature.