version 2.8, 1993/11/11 10:25:25
|
version 2.9, 1993/11/15 17:33:05
|
Line 93 PRIVATE void HTMLGen_put_character ARGS2
|
Line 93 PRIVATE void HTMLGen_put_character ARGS2
|
if ((!me->preformatted && c==' ')) { |
if ((!me->preformatted && c==' ')) { |
int new_cleanness = 1; |
int new_cleanness = 1; |
if (me->write_pointer > (me->buffer + 1)) { |
if (me->write_pointer > (me->buffer + 1)) { |
char delims[] = ",;:."; /* @@ english bias */ |
char delims[5]; |
char * p = strchr(delims, me->write_pointer[-2]); |
char * p; |
if (p) new_cleanness = p - delims + 2; |
strcpy(delims, ",;:."); /* @@ english bias */ |
|
p = strchr(delims, me->write_pointer[-2]); |
|
if (p) new_cleanness = p - delims + 2; |
} |
} |
if (new_cleanness >= me->cleanness) { |
if (new_cleanness >= me->cleanness) { |
me->line_break = me->write_pointer - 1; /* Point to space */ |
me->line_break = me->write_pointer - 1; /* Point to space */ |