UserJavaScript - resize
大昔にもこの種の User JavaScript を入れて使っていたのだが、確か Google Map であったか何かと干渉したので外してしまった。 - Forum に投稿されていた Textarea resizer だった。
今回は Power-drag の方を試用中。Shift キーを押さないと起動しないので誤動作は少ないだろうか。Google Maps で強引に Shift + hover すると、地図の一部分が拡大される。しばらく様子見。