problem: deleting all local changes requires too much time solution: add an "delete all local changes" button (red x on picture) 