[Stokestack]

Thanks.

Isn't the diagram no longer editable after being copied to PDF?

In terms of UI, I don't think I've seen an app that didn't scale text with the shapes before. I never gave it a second thought in Corel Draw, Illustrator, Inkscape... don't remember Lineform (it had too many other bugs to work with)... and I haven't used Visio since the '90s. Anyway, I'd think a simple flag in the preferences would be enough to start with.

If this were addressed, it would make OmniGraffle a viable option for a new group of people. How many? I don't know. I'm guessing more than one.