Als u een fan bent van de Greasemonkey-extensie voor Firefox, vraagt u zich misschien af hoe u de scripteditor / viewer kunt wijzigen, aangezien hier geen optie voor is in de gebruikersinterface. Het is nog erger als u scripts van een bepaalde website downloadt en de regeleindes niet werken in de inferieure standaardeditor.
Holy Jumbled Notepad, Batman!
Wijzig Greasemonkey Script Editor
Type about: config in de adresbalk en filter vervolgens op het volgende:
greasemonkey.editor
Als de sleutel niet bestaat, klikt u met de rechtermuisknop in het lege gebied en maakt u een nieuwe string met de volgende waarden:
- Sleutelnaam : greasemonkey.editor
- Sleutel waarde : Volledig pad naar een editor die niet zo slecht is als kladblok.
Deze tip zou moeten werken voor elk besturingssysteem dat Firefox ondersteunt. Dank aan Daniel voor het vergeten hoe je dit moet doen en voor het inspireren van het artikel. =)
