1. Hong Minhee
  2. pygments-main

Commits

Georg Brandl  committed 257d008 Merge

merge

  • Participants
  • Parent commits 151a121, b52a973
  • Branches default

Comments (0)

Files changed (1)

File pygments/lexers/jvm.py

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