Make sure the current document is still the same after Save All

Save All updates the sidebar and title bar with the document that was
the current one when the action was triggered, but the action could
have changed the focused document if an non-file-backed file required
saving.  So, make sure current document is the same after the action.
Remove some dead code