cvs: php-gtk /ext/gtk+ gtk.defs

andrei		Tue Aug 14 16:36:30 2001 EDT

  Modified files:              
    /php-gtk/ext/gtk+	gtk.defs 
  Log:
  
  Add a few more very very useful fields to GtkPaned. :)
  
  
Index: php-gtk/ext/gtk+/gtk.defs
diff -u php-gtk/ext/gtk+/gtk.defs:1.7 php-gtk/ext/gtk+/gtk.defs:1.8
--- php-gtk/ext/gtk+/gtk.defs:1.7	Tue Aug 14 16:14:22 2001
+++ php-gtk/ext/gtk+/gtk.defs	Tue Aug 14 16:36:29 2001
@@ -264,6 +264,10 @@
   (field (type-and-name GtkWidget* child2))
   (field (type-and-name guint16 handle_size))
   (field (type-and-name guint16 gutter_size))
+  (field (type-and-name gboolean child1_resize))
+  (field (type-and-name gboolean child1_shrink))
+  (field (type-and-name gboolean child2_resize))
+  (field (type-and-name gboolean child2_shrink))
 )
 
 (object VPaned