Hi, thanks for the report. Indeed it should be fixed; I just have to find out how to scale a TextView the way I currently scale a label, while retaining the ability to interact with the widget. Then one can simply edit the man view.
Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part