color-highlighting of \begin{comment} ... \end{comment} environment not same as line comment

[GoogleCodeExporter]

What steps will reproduce the problem?
1. use verbatim package
2. add few line comments using '%'
3. add a block comment environment using \begin{comment} ... \end{comment}

What is the expected output? What do you see instead?
Both line comment and block comment must have the same color-highlight effect. 
Both comments have different highlight effects in the tex editor.

What version of the product are you using? On what operating system?
version 0.4.3 r.858 (launchpad)

Please provide any additional information below.
Running on Ubuntu 10.04

Original issue reported on code.google.com by [email protected] on 27 Aug 2011 at 10:09