[gtk+/gtk-2-90] Remove GtkOptionMenu completely

[Javier Jardón <jjardon src gnome org>]

commit c36eaa4c9dba2c77225c574f6e90b30d6f49e175
Author: Javier Jardón <jjardon gnome org>
Date:   Sat Apr 24 04:52:27 2010 +0200

    Remove GtkOptionMenu completely

 docs/reference/gtk/gtk-sections.txt        |   21 -----
 docs/reference/gtk/gtk.types               |    1 -
 docs/reference/gtk/tmpl/gtkoptionmenu.sgml |  124 ----------------------------
 gtk/gtk.symbols                            |   12 ---
 4 files changed, 0 insertions(+), 158 deletions(-)
---
diff --git a/docs/reference/gtk/gtk-sections.txt b/docs/reference/gtk/gtk-sections.txt
index ce1850a..3c956a9 100644
--- a/docs/reference/gtk/gtk-sections.txt
+++ b/docs/reference/gtk/gtk-sections.txt
@@ -2615,27 +2615,6 @@ gtk_offscreen_window_get_type
 </SECTION>
 
 <SECTION>
-<FILE>gtkoptionmenu</FILE>
-<TITLE>GtkOptionMenu</TITLE>
-GtkOptionMenu
-gtk_option_menu_new
-gtk_option_menu_get_menu
-gtk_option_menu_set_menu
-gtk_option_menu_remove_menu
-gtk_option_menu_set_history
-gtk_option_menu_get_history
-<SUBSECTION Standard>
-GTK_OPTION_MENU
-GTK_IS_OPTION_MENU
-GTK_TYPE_OPTION_MENU
-GTK_OPTION_MENU_CLASS
-GTK_IS_OPTION_MENU_CLASS
-GTK_OPTION_MENU_GET_CLASS
-<SUBSECTION Private>
-gtk_option_menu_get_type
-</SECTION>
-
-<SECTION>
 <FILE>gtkpaned</FILE>
 <TITLE>GtkPaned</TITLE>
 GtkPaned
diff --git a/docs/reference/gtk/gtk.types b/docs/reference/gtk/gtk.types
index 913f2f3..705b422 100644
--- a/docs/reference/gtk/gtk.types
+++ b/docs/reference/gtk/gtk.types
@@ -101,7 +101,6 @@ gtk_mount_operation_get_type
 gtk_notebook_get_type
 gtk_object_get_type
 gtk_offscreen_window_get_type
-gtk_option_menu_get_type
 gtk_orientable_get_type
 gtk_page_setup_get_type
 gtk_page_setup_unix_dialog_get_type
diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index 91c1ba4..272acca 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -2185,18 +2185,6 @@ gtk_orientable_set_orientation
 #endif
 #endif
 
-#if IN_HEADER(__GTK_OPTION_MENU_H__)
-#if IN_FILE(__GTK_OPTION_MENU_C__)
-gtk_option_menu_get_history
-gtk_option_menu_get_menu
-gtk_option_menu_get_type G_GNUC_CONST
-gtk_option_menu_new
-gtk_option_menu_remove_menu
-gtk_option_menu_set_history
-gtk_option_menu_set_menu
-#endif
-#endif
-
 #if IN_HEADER(__GTK_PANED_H__)
 #if IN_FILE(__GTK_PANED_C__)
 gtk_paned_add1