[MIN] GUI: do not ask if file to be opened should be reverted