diff options
| author | Zeev Suraski <zeev@php.net> | 2001-05-06 12:28:17 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2001-05-06 12:28:17 +0000 |
| commit | dc3052062208b81e108a7c274b2409fc5bf640a9 (patch) | |
| tree | 0547bf97d7728bd623132c2053d53d70611d724e /Zend/zend_highlight.c | |
| parent | eba7a8c8e6ae5a56b572c6f5412bd54cc6cf55d9 (diff) | |
| download | php-git-dc3052062208b81e108a7c274b2409fc5bf640a9.tar.gz | |
Retain single spaces as spaces to condense HTML
Diffstat (limited to 'Zend/zend_highlight.c')
| -rw-r--r-- | Zend/zend_highlight.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Zend/zend_highlight.c b/Zend/zend_highlight.c index bd64d98e0b..ea23a4214c 100644 --- a/Zend/zend_highlight.c +++ b/Zend/zend_highlight.c @@ -66,6 +66,15 @@ ZEND_API void zend_html_puts(char *s, uint len) register char *ptr=s, *end=s+len; while (ptr<end) { + if (*ptr==' ' + && len>1 + && !(((ptr+1)>=end) || (*(ptr+1)==' ')) /* next is not a space */ + && !((ptr==s) || (*(ptr-1)==' '))) /* last is not a space */ { + char c = *ptr++; + + ZEND_PUTC(c); + continue; + } zend_html_putc(*ptr++); } } |