Auf der Schatenseite gibt es wieder einen neuen Artikel zu einer Firefox-Extension. Diesmal geht es um GreaseMonkey, unbestritten eine der mächtigsten Erweiterungen für den Browser.
Nebenbei habe ich an der Stelle auch mein erstes eigenes User-Script für den GreaseMonkey untergebracht. Damit erhält jede Textarea in HTML-Seiten einige Buttons wie im nebenstehenden Bild. Damit kann die Größe der Box verändert werden. Sehr praktisch, wenn man längere Texte in zu kleine Boxen eingeben will.