A restart after a battle is a good idea so the game doesn't have to load the city again.
(I avoided this before when battles had to update every 2 battles, but now that it doesn't, I think I can put this)
I'll see what I can do to add this little feature.