Prefer stretched over non-stretched when "adjust mac resolution in full screen" is on

Hi.

If you open up system preferences on your mac, and go to display, you will in the list of resolutions see duplicates of all. One is stretched the other is not.

When you have configured a guest OS to use "adjust mac resolution in full screen", playing a game in full screen that changes the guest OS's resolution will in turn then automatically change the mac resolution. Just as the feature implies!

Great that works.

However, there is NO option for choosing if you prefer the stretched resolution, or the non-stretched resolution to be picked in the mac environment.

Please consider adding such an option.