Commits

Georg Brandl  committed b52a973 Draft Merge

Merged in mpenet/pygments-main (pull request #71)

  • Participants
  • Parent commits 233dea4, dc3d36b

Comments (0)

Files changed (1)

File pygments/lexers/jvm.py

             (r"\\(.|[a-z]+)", String.Char),
 
             # keywords
-            (r':' + valid_name, String.Symbol),
+            (r'::?' + valid_name, String.Symbol),
 
             # special operators
             (r'~@|[`\'#^~&]', Operator),