Mal wieder Firefox-Extensions
Es ist schon eine Weile her, seit ich das letzte mal über nützliche Firefox-Erweiterungen geschrieben habe. Inzwischen habe ich ein paar neue Erweiterungen in meinen Werkzeugkasten aufgenommen, die ich nicht mehr missen möchte. BugMeNot Manche zwingen einen geradezu, sich erst zu registrieren, um deren Content zu sehen. Glücklicherweise bietet die Website bugmenot.com schon fertige Logins…
Lästige Werbung in Webseiten vernichten
Es gab mal eine Zeit, da bestand Werbung auf Webseiten nur aus Bannern. Das war noch eine beschauliche Zeit. Dann beschlossen die Werbetreibenden, daß diese Werbung nicht lästig genug war. Fortan mußte die Werbung per Pop-Up den Benutzer überfallen. Um möglichst viel Werbung dem User zu präsentieren, wurde aber nicht nur ein Pop-Up geöffnet sondern…
Which file extension are you?
Which File Extension are You? Ein Akrobat? Hmm, ich weiß ja nicht. Aber meine Vorliebe für LaTeX und Typographie verbindet mich mit dem PDF-Format.
Firefox Web Developer Extension
Die Web Developer Extension für Firefox und Mozilla ist vermutlich das genialste seit geschnitten Brot. Mit dieser Extension kann man die aktuelle Webseite durch einen HTML/CSS-Validator jagen, Java/JavaScript und Animationen abschalten, sich alle Block-Level Elemente hervorheben lassen sowie alle Classes und IDs anzeigen lassen. Das Killerfeature des Extension ist jedoch die Möglichkeit, die Stylesheets beliebiger…