On Sat, Oct 13, 2018 at 06:54:59PM -0000, bitinerant wrote: > I appreciate the suggestions, but none quite fit my use case. It's > really 2 users wanting to share the fonts--one owns them and the other > has a symlink. If I put them in /usr/local/share/fonts/ then they don't > get backed up and can't be modified. I think the simplest option for me > is to use the extra 74 MB and make a copy for each user.
Heh, indeed, "fonts that might be changed" never crossed my mind! > Do you agree, however, that it would be helpful to display a message for > the user rather than empty space in their PDF? Absolutely agreed. I'd expect a fallback to a font that *is* available and a notice in a status bar that fonts have been replaced due to errors. Nothing that would make a user *click* on anything but that would clearly explain the issue for a user curious why a document doesn't look right. Thanks -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1448778 Title: Evince fails to display some fonts (some font thing failed) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/evince/+bug/1448778/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
