types              64 lib/filehighlight/ini-file-read.c     const gchar *types[] = {
types              82 lib/filehighlight/ini-file-read.c     for (i = 0; types[i] != NULL; i++)
types              84 lib/filehighlight/ini-file-read.c         if (strcmp (types[i], param_type) == 0)
types              88 lib/filehighlight/ini-file-read.c     if (types[i] == NULL)