Extracted from Pike v8.0 release 358 as of 2016-11-23.
[Top]
GTK1
GTK1.OptionMenu
Index of class GTK1.OptionMenu
create()
get_menu()
remove_menu()
set_history()
set_menu()