On Tue, Oct 29, 2002 at 02:55:14PM +0100, Reinhard Foerster wrote:
> On Tue, 29 Oct 2002 12:02:37 +0100, Michael Wagner wrote:
> > On Mon, Oct 28, 2002 at 11:29:33PM +0100, Hartmut Figge wrote:
> > > Auch nett:
> > > user_pref("mailnews.headers.showUserAgent", true);
> >
> > kannst du mir mal bitte sagen, wo du das z.B. her hast? Ich finde es
> > hier auf meinem Rechner naemlich nicht.
>
> Die Zeile schreibst du in die (neu anzulegende) Datei user.js im
> Preferences-Verzeichnis deines Mozillas und startest den Browser neu.
> Einstellungen in der user.js überstimmen Einstellungen in der prefs.js.
> Die user.js ändert Mozilla nicht selbst.
Hallo Reinhard,
so habe ich das nicht gemeint. Wo ich es hinschreiben muss, is mir schon
klar. Ich wollte nur wissen, wo man das erfaehrt, das es diesen Schalter
gibt.
Ausserdem habe ich diesen Schalter gemeint:
user_pref("network.prefetch-next", false);
Denn der taucht auch bei about:config nicht auf. Irgendwo muss es doch
nachzulesen sein, welche Schalter es da gibt. Vielleicht weiss das ja
jemand.
Trotzdem danke
Michael
--
Eine falsch abgetrennte Signatur ist keine Signatur und
braucht deshalb nicht richtig abgetrennt zu werden.
Attachment:
pgp5REwqyijXw.pgp
Description: PGP signature