See09/WRTKit/UI/SelectionMenu.js
changeset 20 918767a9c8d3
parent 19 f3521a11d878