[gtk+/gtk-2-90: 192/200] Remove GtkOptionMenu completely

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

commit 3d6b45f7d268e2e91e15ea3818b7047d3a6be24e
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 835f4a6..b4c703b 100644
--- a/docs/reference/gtk/gtk-sections.txt
+++ b/docs/reference/gtk/gtk-sections.txt
@@ -2618,27 +2618,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 a7a185b..d85ae81 100644
--- a/docs/reference/gtk/gtk.types
+++ b/docs/reference/gtk/gtk.types
@@ -102,7 +102,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 a17b027..3d04a21 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -2199,18 +2199,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