Option 2 gets my vote too. I'd prefer "dpi" or "ppi" to make the unit explicit, but *res is fine too.
I'm fine with a single property "ppi" -- shall we go with that? Boud _______________________________________________ CREATE mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/create
