If its not including fonts currently when set to 'Times' it probably is only doing so due to it not being able to determine what font to include, since it is a known upstream bug that it always includes fonts. And yes it causes enough other problems that setting it to a non- existent font is worse than the increase in PDF file size.
-- [Ubuntu] [hardy] [patch] Default font "Times" does not exist https://bugs.launchpad.net/bugs/105906 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
