It would be nice to be able to prioritise targets with this option.
I have taken to sticking a load of offensive craft on Auto Attack and just letting them do their thing, but they never seem to bother attacking Mines on asteroids, only other ships. I'd like to be able to tell them who and what to seek out.