406 |
static void |
static void |
407 |
scan_badchars (char *line, int len) |
scan_badchars (char *line, int len) |
408 |
{ |
{ |
409 |
unsigned char *cp = line; |
char *cp = line; |
410 |
|
|
411 |
/* Same bad characters as Groff. */ |
/* Same bad characters as Groff. */ |
412 |
static unsigned char badchars[32] = |
static unsigned char badchars[32] = |
417 |
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, |
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, |
418 |
}; |
}; |
419 |
|
|
420 |
for (; len--; cp++) |
for (; len--; cp++) |
421 |
if (badchars[*cp >> 3] & (1 << (*cp & 7))) |
{ |
422 |
{ |
int c = (unsigned char) *cp; |
423 |
font_msg (SE, _("Bad character \\%3o."), *cp); |
if (badchars[c >> 3] & (1 << (c & 7))) |
424 |
*cp = ' '; |
{ |
425 |
} |
font_msg (SE, _("Bad character \\%3o."), *cp); |
426 |
|
*cp = ' '; |
427 |
|
} |
428 |
|
} |
429 |
} |
} |
430 |
|
|
431 |
/* Character name hashing. */ |
/* Character name hashing. */ |