I grepped the interweb for this topic and landed here.
Yes please. #pragma or something to set the board type!
I wonder where the "current settings" are stored; a tacky workaround could be to always launch Arduino.app from a command line script that read the .ino and munged the app prefs file.