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