[Brian]

I quit OmniGraffle, nuked my prefs, and restarted the app - looks like we default to 72 DPI. The GIF exporter definitely shouldn't be respecting that setting, though; writing that up as a bug. Thanks!