Release beta 12.
Fix a GUI bug whereby an incorrect item is considered touched in file selectors.