WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.
Removes the menu from the option menu.
See also: get_menu() , set_menu()