Closed richteer closed 9 years ago
See title.
You can leave the menu if there are not duplicates. The bug was actually that the screen was not redrawn on exit. In theory perhaps we should be able to leave the menu w/out saving changes in memory.
See title.