Make batch and GUI results, by default, the same
Make batch and GUI results, by default, the same

BATCH: Set "ignore_all_names" to "False" by default in batch mode.

Thanks to LeChatt for reporting it!

joxeankoret/diaphora