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