diff options
author | nyamatongwe <devnull@localhost> | 2005-06-23 02:12:52 +0000 |
---|---|---|
committer | nyamatongwe <devnull@localhost> | 2005-06-23 02:12:52 +0000 |
commit | 10821266a6e5f3e938ae9d7fcb0d59ea7ff81ee3 (patch) | |
tree | 2300f087ef2c6ab89069918d69bf20c113ef7354 /src | |
parent | 7e6108873e18934e3163221095634f8e30118968 (diff) | |
download | scintilla-mirror-10821266a6e5f3e938ae9d7fcb0d59ea7ff81ee3.tar.gz |
Patch from Jakub allows there to be a space after '<<<' in PHP.
Diffstat (limited to 'src')
-rw-r--r-- | src/LexHTML.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/LexHTML.cxx b/src/LexHTML.cxx index 372effdc7..6c4dc241b 100644 --- a/src/LexHTML.cxx +++ b/src/LexHTML.cxx @@ -424,6 +424,8 @@ static bool isPHPStringState(int state) { static int FindPhpStringDelimiter(char *phpStringDelimiter, const int phpStringDelimiterSize, int i, const int lengthDoc, Accessor &styler) { int j; + while (i < lengthDoc && (styler[i] == ' ' || styler[i] == '\t')) + i++; phpStringDelimiter[0] = '\n'; for (j = i; j < lengthDoc && styler[j] != '\n' && styler[j] != '\r'; j++) { if (j - i < phpStringDelimiterSize - 2) |