chiark / gitweb /
Replaced deprecated widgets combo and option-menu with combo-box and combo-box-entry