Merge pull request #272 from msfjarvis/bug/block-comments-highlighting

Fix block comments highlighting
This commit is contained in:
Anthony Scopatz 2020-01-25 16:22:24 -05:00 committed by GitHub
commit e2ebb2be34
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
15 changed files with 15 additions and 15 deletions

View file

@ -11,7 +11,7 @@ color red ""[^"]*""
color yellow "\<(true|false|null)\>"
icolor yellow "\b(([1-9][0-9]+)|0+)\.[0-9]+\b" "\b[1-9][0-9]*\b" "\b0[0-7]*\b" "\b0x[1-9a-f][0-9a-f]*\b"
color blue "^\s*//.*"
color blue start="/\*" end="\*/"
color blue start="^\s*/\*" end="\*/"
color brightblue start="/\*\*" end="\*/"
# Highlighting for javadoc stuff