ノーテーションエディターって名前だったかな？
もう忘れられてると思うけどまだ存在してる。
あれの縦幅拡大表示させてくれないかなー
たまーーに便利なんだよなー