GNOME Bugzilla – Bug 784022
Add various array length annotations to GtkEditable, GtkTextBuffer, GtkSelection and GtkImContext
Last modified: 2017-06-22 11:13:42 UTC
See summary
Created attachment 354139 [details] [review] Add various array length annotations to GtkEditable and GtkTextBuffer
Created attachment 354140 [details] [review] Add various array length annotations to GtkEditable, GtkTextBuffer, GtkSelection and GtkImContext
I discussed the string+length stuff with ebassi on IRC, and there's no way to correctly annotate that currently unless your "string" is actually an array of bytes (and not a UTF8 string), in which case it would be (array length=len) (element-type guint8)