gnochm is written in python and uses the gtkhtml2 python interface, so the issue is in package 'python-gtkhtml2', or the libraries this uses 'libgtkhtml2-0'. The zoom_in(), zoom_out() and zoom_reset() methods that are called on the HTML document object are entirely in these libraries, so this is certainly not an issue in gnochm directly.
One temporary workaround, would be for gnochm for call zoom_in() say 4 times internally, but this is too much of a hack. -- Gnochm font too small https://bugs.launchpad.net/bugs/86889 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
