map filter spinner displays getName, not getPrettyName #90
Description
warning, changing this must preserve all the logic when comparing course names.
basically one would need to change the course adapter to CourseInfos instead of Strings. And somehow handle the Edit... and All selections.