I found that in some menus the incorrect type of widget was used : Menu View->Location Selector should use "Radio" widget rather than misleading Checkboxes, since both options are mutually exclusive. Same problem in Menu View->Side Pane.
*** This bug has been marked as a duplicate of bug 6141 ***