Documentation patch from David Hedbor <david@hedbor.org>

Rev: src/post_modules/GTK/build_pgtk.pike:1.37
Rev: src/post_modules/GTK/dependencies:1.5
Rev: src/post_modules/GTK/docs.pike:1.5
Rev: src/post_modules/GTK/pcdocs/MenuFactory:1.4
Rev: src/post_modules/GTK/pcdocs/pDrawingArea:1.2
Rev: src/post_modules/GTK/source/gdkcolor.pre:1.7
Rev: src/post_modules/GTK/source/gdkdragcontext.pre:1.7
Rev: src/post_modules/GTK/source/gdkdrawable.pre:1.8
Rev: src/post_modules/GTK/source/gdkfont.pre:1.6
Rev: src/post_modules/GTK/source/gdkgc.pre:1.8
Rev: src/post_modules/GTK/source/gdkimage.pre:1.8
Rev: src/post_modules/GTK/source/gdkpixmap.pre:1.8
Rev: src/post_modules/GTK/source/gdkregion.pre:1.7
Rev: src/post_modules/GTK/source/gdkwindow.pre:1.12
Rev: src/post_modules/GTK/source/gladexml.pre:1.9
Rev: src/post_modules/GTK/source/global.pre:1.15
Rev: src/post_modules/GTK/source/gnomeabout.pre:1.3
Rev: src/post_modules/GTK/source/gnomeapp.pre:1.8
Rev: src/post_modules/GTK/source/gnomeappbar.pre:1.3
Rev: src/post_modules/GTK/source/gnomeapplet.pre:1.4
Rev: src/post_modules/GTK/source/gnomecalculator.pre:1.3
Rev: src/post_modules/GTK/source/gnomecanvas.pre:1.5
Rev: src/post_modules/GTK/source/gnomecolorpicker.pre:1.3
Rev: src/post_modules/GTK/source/gnomedialog.pre:1.5
Rev: src/post_modules/GTK/source/gnomedock.pre:1.3
Rev: src/post_modules/GTK/source/gnomedockband.pre:1.2
Rev: src/post_modules/GTK/source/gnomedockitem.pre:1.4
Rev: src/post_modules/GTK/source/gnomedocklayout.pre:1.2
Rev: src/post_modules/GTK/source/gnomedruid.pre:1.2
Rev: src/post_modules/GTK/source/gnomeentry.pre:1.3
Rev: src/post_modules/GTK/source/gnomehref.pre:1.2
Rev: src/post_modules/GTK/source/gnomeiconlist.pre:1.6
Rev: src/post_modules/GTK/source/gnomeless.pre:1.3
Rev: src/post_modules/GTK/source/gnomemessagebox.pre:1.4
Rev: src/post_modules/GTK/source/gnomepixmapentry.pre:1.2
Rev: src/post_modules/GTK/source/gnomepropertybox.pre:1.2
Rev: src/post_modules/GTK/source/gnomescores.pre:1.3
Rev: src/post_modules/GTK/source/gnomestatusdocklet.pre:1.3
Rev: src/post_modules/GTK/source/gtkadjustment.pre:1.6
Rev: src/post_modules/GTK/source/gtkalignment.pre:1.3
Rev: src/post_modules/GTK/source/gtkbox.pre:1.4
Rev: src/post_modules/GTK/source/gtkcalendar.pre:1.4
Rev: src/post_modules/GTK/source/gtkclist.pre:1.7
Rev: src/post_modules/GTK/source/gtkclock.pre:1.4
Rev: src/post_modules/GTK/source/gtkcolorselection.pre:1.3
Rev: src/post_modules/GTK/source/gtkcolorselectiondialog.pre:1.3
Rev: src/post_modules/GTK/source/gtkcombo.pre:1.4
Rev: src/post_modules/GTK/source/gtkctree.pre:1.6
Rev: src/post_modules/GTK/source/gtkdatabox.pre:1.2
Rev: src/post_modules/GTK/source/gtkdial.pre:1.3
Rev: src/post_modules/GTK/source/gtkeventbox.pre:1.3
Rev: src/post_modules/GTK/source/gtkfileselection.pre:1.3
Rev: src/post_modules/GTK/source/gtkfixed.pre:1.3
Rev: src/post_modules/GTK/source/gtkfontselectiondialog.pre:1.3
Rev: src/post_modules/GTK/source/gtkframe.pre:1.3
Rev: src/post_modules/GTK/source/gtkgammacurve.pre:1.3
Rev: src/post_modules/GTK/source/gtkhpaned.pre:1.3
Rev: src/post_modules/GTK/source/gtkhscale.pre:1.3
Rev: src/post_modules/GTK/source/gtkhscrollbar.pre:1.3
Rev: src/post_modules/GTK/source/gtkimage.pre:1.5
Rev: src/post_modules/GTK/source/gtkinputdialog.pre:1.3
Rev: src/post_modules/GTK/source/gtklabel.pre:1.3
Rev: src/post_modules/GTK/source/gtkmenu.pre:1.4
Rev: src/post_modules/GTK/source/gtkmenubar.pre:1.3
Rev: src/post_modules/GTK/source/gtkmenuitem.pre:1.4
Rev: src/post_modules/GTK/source/gtkmenushell.pre:1.4
Rev: src/post_modules/GTK/source/gtkmisc.pre:1.3
Rev: src/post_modules/GTK/source/gtkobject.pre:1.5
Rev: src/post_modules/GTK/source/gtkoptionmenu.pre:1.3
Rev: src/post_modules/GTK/source/gtkpaned.pre:1.3
Rev: src/post_modules/GTK/source/gtkpixmap.pre:1.6
Rev: src/post_modules/GTK/source/gtkprogress.pre:1.4
Rev: src/post_modules/GTK/source/gtkprogressbar.pre:1.3
Rev: src/post_modules/GTK/source/gtkradiobutton.pre:1.5
Rev: src/post_modules/GTK/source/gtkradiomenuitem.pre:1.6
Rev: src/post_modules/GTK/source/gtkrange.pre:1.3
Rev: src/post_modules/GTK/source/gtkruler.pre:1.3
Rev: src/post_modules/GTK/source/gtkscale.pre:1.3
Rev: src/post_modules/GTK/source/gtkscrolledwindow.pre:1.3
Rev: src/post_modules/GTK/source/gtkselectiondata.pre:1.5
Rev: src/post_modules/GTK/source/gtksocket.pre:1.6
Rev: src/post_modules/GTK/source/gtkspinbutton.pre:1.3
Rev: src/post_modules/GTK/source/gtkstatusbar.pre:1.3
Rev: src/post_modules/GTK/source/gtkstyle.pre:1.6
Rev: src/post_modules/GTK/source/gtktable.pre:1.3
Rev: src/post_modules/GTK/source/gtktearoffmenuitem.pre:1.3
Rev: src/post_modules/GTK/source/gtktext.pre:1.5
Rev: src/post_modules/GTK/source/gtktogglebutton.pre:1.5
Rev: src/post_modules/GTK/source/gtktoolbar.pre:1.3
Rev: src/post_modules/GTK/source/gtktooltips.pre:1.3
Rev: src/post_modules/GTK/source/gtktree.pre:1.4
Rev: src/post_modules/GTK/source/gtktreeitem.pre:1.4
Rev: src/post_modules/GTK/source/gtkvscale.pre:1.3
Rev: src/post_modules/GTK/source/gtkwidget.pre:1.10
Rev: src/post_modules/GTK/source/gtkwindow.pre:1.4