PDF               300 src/bidi.c           case PDF:
PDF               351 src/bidi.c           case PDF:
PDF              1851 src/bidi.c     	  || ch_type == PDF);
PDF              2028 src/bidi.c     	case PDF:	/* X7 */
PDF              2182 src/bidi.c         case PDF:	/* X7 */
PDF              2230 src/bidi.c     	     || type == PDF));