Add-ons deinstallieren - Reste?

Zitat von MaximaleEleganz

Du meinst ganz sicher user.js?

about:config ist doch eine GUI für die FF-Properties und wenn ich richtig im Bilde bin, sind die Properties in der prefs.js und der user.js abgelegt...
[Müll]Da es sich bei den besagten Werten aber um "Standartwerte" und nicht um Benutzerwerte handelt (zumindest nach about:config), könnte es sein, dass sie doch in der prefs.js gelandet sind. Das hängt jetzt davon ab, ob sie in einem anderen Profil auch vorhanden sind.[/Müll]
Danke für den Hinweis, MaximaleEleganz!

Ok, hast gewonnen, ich verlege mich mit ziemlicher Sicherheit auf die prefs.js!

Du suchst in deinem Profilordner die prefs.js-Datei und öffnest diese mit einem Texteditor.
Dann suchst du in ihr die drei nervenden Greasemonkey-Einträge. Diese müssen aus der Datei entfernt werden. Wenn du dir nicht sicher bist, was du löschen sollst, postest du den Bereich aus der prefs.js, in dem sich die drei Einträge befinden (mit 'nem bisschen code davor und danach).

EDIT: Auf Hinweis von MaximaleEleganz möchte ich noch anmerken, dass du die Datei vorher natürlich irgendwo sichern solltest!!!

Zitat von MaximaleEleganz

Datei vorher immer sichern.

Stimmt, WICHTIG, habe ich wohl aus reiner Routine vergessen, dazuzuschreiben!