In the Gtk toolkit there is a single interface for printing to paper and printing to PDF. So needs the same amount of work.
Fixing the bug you have with export to HTML is probably much less work than implementing a full printing interface. And we want to fix that one anyway, since export to HTML should also just work.
In the Gtk toolkit there is a single interface for printing to paper and printing to PDF. So needs the same amount of work.
Fixing the bug you have with export to HTML is probably much less work than implementing a full printing interface. And we want to fix that one anyway, since export to HTML should also just work.