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