PukiWikiのテキストエリアをリサイズしたい

ローカルのメモ用にPukiWikiを使っているのだけど、編集画面のテキストエリアをもう少し広い画面で見たい！と常々思っていたので調べてみました。
まずテキストエリアの大きさは、 default.ini.php で設定できるらしい。

/////////////////////////////////////////////////
// テキストエリアのカラム数
$cols = 100;

/////////////////////////////////////////////////
// テキストエリアの行数
$rows = 30;

終わり。

・・・というのも寂しいので、リサイズできそうなJavascriptとかあるんじゃないの、と思って探しました。

• テキストエリアとかリサイズ可能にする JavaScript
• The Man in Blue > Experiments > FormTextResizer

下のサイトはbookmarkletとかgreasemonkeyとかを公開してます。これはこれで便利。今回はPukiWikiに組み込みたいので、上のサイトのJavascriptを使わせていただくことにしました。
skin/pukiwiki.skin.php にheadセクションを記述する部分があるので、こんな感じに書いておきます。

<?php echo $head_tag ?>

<script type='text/javascript' src='chtextarea.js'></script>
<script type='text/javascript'>
   addEvent(window, 'load', function() {
      var textareas = document.getElementsByTagName('textarea');
      for(var i = 0;elm = textareas[i];i++) {
         (function(elm) {
            var obj = ElementResizer.add(elm);
            var cursor = false;
            addEvent(elm, 'mousemove', function (e) {
               if(!cursor && obj.resizePoint(e)) {
                  elm.style.cursor = 'se-resize';
                  cursor = true;
               } else if(cursor && !obj.resizePoint(e)) {
                  elm.style.cursor = 'default';
                  cursor = false;
               }
            });
         })(elm);
      }
      ElementResizer.start();
   });
</script>

</head>

chtextarea.jsはPukiWikiの実行ディレクトリーにコピーしておいてくださいね。
これは超便利。すごいなー。