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