ZeroK-RTS/Zero-K — pull request #80 by xponen (2014-07-30 04:55:53+00:00)
Title: gui_epicmenu.lua: fix epicmenu search showing duplicate result of same oif that option use radiobuttons

and
erase all mention of 'alloption' table since it was all commented out in https://github.com/ZeroK-RTS/Zero-K/commit/6480c15d53fe78cca4112f627d402346398fd50a
and (super minor change)
make 'list' and 'radiobutton' handle 'OnChange' similar to other options (for consistency)