don't ignore file changes while reload dialog is up
we cannot clear the list of modified files after possibly entering the main loop again, as that might discard new notifications which we have not processed yet. Reviewed-by: dt
Please register or sign in to comment