Czy jest userjs dający takie same możliwości co to - https://addons.mozilla.org/pl/firefox/addon/3694 ?
Po najechaniu na krawędzie pola tekstowego kursor zmienia się na strzałki i można normalnie zmieniać rozmiar tak jak w oknach.
Thx Co prawda rozszerzenie dla firefoksa jest bardziej funkcjonalne ale dobre i to