WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.
Selects the menu item specified by index making it the newly selected value for the option menu.
See also: get_history()