テキストエリアの大きさを自在に変更できるuser.js

http://my.opera.com/community/forums/topic.dml?id=159469&t=1191422518&page=1#comment2266991

FirefoxでいうところのResizable Textareaに当たる。
これは有難い。