Hallo Jonathan.
Ich weiß nicht so richtig was die Funktion macht, aber könnte man das nicht mit dem user JS auch hinbekommen?
Nein. Höchstens mit Greasemonkey, aber da müsste man wieder ne Erweiterung installieren.
Er sprach von eine Umsetzung der Resizable Textarea im Opera.
Einen schönen Donnerstag noch.
Gruß, Ashura