Indeed, "diff -u /usr/share/gir-1.0/Gdk-3.0.gir /home/martin-scratch/gnome/share/gir-1.0/Gdk-3.0.gir" shows e. g.
- <enumeration name="EventType" c:type="GdkEventType"> + <enumeration name="EventType" + glib:type-name="GdkEventType" + glib:get-type="gdk_event_type_get_type" + c:type="GdkEventType">
Indeed, "diff -u /usr/share/ gir-1.0/ Gdk-3.0. gir /home/martin- scratch/ gnome/share/ gir-1.0/ Gdk-3.0. gir" shows e. g.
- <enumeration name="EventType" c:type= "GdkEventType" > name="GdkEventT ype" type="gdk_ event_type_ get_type" "GdkEventType" >
+ <enumeration name="EventType"
+ glib:type-
+ glib:get-
+ c:type=