mutable lst : Widget.listbox Widget.widget = Listbox.create ~height:2 ~background:selcol ~borderwidth:1 optionFrame