Whenever a query is saved or saved/verified, the net is marked as changed.
Also, when entering batch processing, the user is suggested to save all
unsaved nets, not only the active one.