comment out, as we have two GdkColormap.change's.

2001-12-21  James Henstridge  <james@daa.com.au>

	* gtk/gdk.defs (gdk_colormap_change): comment out, as we have two
	GdkColormap.change's.

	* gtk/gtk.defs (append): this is a method of menu
	(prepend): same here.
	(insert): same here.
	(): now comment out the above three, as they shadow the methods
	their deprecation messages recommend using.  (problem picked out
	by running xmllint over output docs).

	* codegen/docgen.py (DocbookDocWriter.__init__): add constructor
	with a use_xml parameter, which turns on DocBook/XML output.
	(DocbookDocWriter.create_filename): use ".xml" as extension if we
	are writing DocBook/XML.
	(DocbookDocWriter.output_toc): optionally write out the
	DocBook/XML doctype.

2 files changed, 38 insertions, 38 deletions

diff --git a/gtk/gdk.defs b/gtk/gdk.defs
index 6bf2819e..8a01cf6e 100644
--- a/gtk/gdk.defs
+++ b/gtk/gdk.defs
@@ -69,14 +69,14 @@
   (return-type "gint")
 )
 
-(define-method change
-  (of-object "GdkColormap")
-  (c-name "gdk_colormap_change")
-  (return-type "none")
-  (parameters
-    '("gint" "ncolors")
-  )
-)
+;(define-method change
+;  (of-object "GdkColormap")
+;  (c-name "gdk_colormap_change")
+;  (return-type "none")
+;  (parameters
+;    '("gint" "ncolors")
+;  )
+;)
 
 (define-method alloc_color
   (of-object "GdkColormap")
diff --git a/gtk/gtk.defs b/gtk/gtk.defs
index 927ff76a..55d3e695 100644
--- a/gtk/gtk.defs
+++ b/gtk/gtk.defs
@@ -7507,36 +7507,36 @@
 )
 
 
-(define-method append
-  (of-object "GtkMenuBar")
-  (c-name "gtk_menu_append")
-  (return-type "none")
-  (parameters
-    '("GtkWidget*" "child")
-  )
-  (deprecated "use GtkMenuShell.append")
-)
-
-(define-method prepend
-  (of-object "GtkMenuBar")
-  (c-name "gtk_menu_prepend")
-  (return-type "none")
-  (parameters
-    '("GtkWidget*" "child")
-  )
-  (deprecated "use GtkMenuShell.prepend")
-)
-
-(define-method insert
-  (of-object "GtkMenuBar")
-  (c-name "gtk_menu_insert")
-  (return-type "none")
-  (parameters
-    '("GtkWidget*" "child")
-    '("gint" "position")
-  )
-  (deprecated "use GtkMenuShell.insert")
-)
+;(define-method append
+;  (of-object "GtkMenu")
+;  (c-name "gtk_menu_append")
+;  (return-type "none")
+;  (parameters
+;    '("GtkWidget*" "child")
+;  )
+;  (deprecated "use GtkMenuShell.append")
+;)
+
+;(define-method prepend
+;  (of-object "GtkMenu")
+;  (c-name "gtk_menu_prepend")
+;  (return-type "none")
+;  (parameters
+;    '("GtkWidget*" "child")
+;  )
+;  (deprecated "use GtkMenuShell.prepend")
+;)
+
+;(define-method insert
+;  (of-object "GtkMenu")
+;  (c-name "gtk_menu_insert")
+;  (return-type "none")
+;  (parameters
+;    '("GtkWidget*" "child")
+;    '("gint" "position")
+;  )
+;  (deprecated "use GtkMenuShell.insert")
+;)
 
 
 ;; From /opt/gtk2/include/gtk-2.0/gtk/gtkmenubar.h