* Added browser like links (Ctrl+Mouseclick on identifier; same as F3 shortcut)
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / core / util / CommentRecorderScanner.java
index 7f74c39..ce634b8 100644 (file)
@@ -33,7 +33,7 @@ public class CommentRecorderScanner extends Scanner {
 //                             taskTags, taskPriorities, isTaskCaseSensitive);
                super(tokenizeComments, tokenizeWhiteSpace, 
                                checkNonExternalizedStringLiterals, false, false,
-                               taskTags, taskPriorities);
+                               taskTags, taskPriorities, true /*taskCaseSensitive*/);
        }
        
        /**