re: options dialog crashing on close on Mac, looks like one of the changes for fixing the "mouse moves get ignored in some conditions" are causing that. I'll roll out an updated version soon.

- Michael