diff --git a/prism/etc/prism.pats b/prism/etc/prism.pats index 6107eeb4..a750c8c5 100644 --- a/prism/etc/prism.pats +++ b/prism/etc/prism.pats @@ -37,7 +37,7 @@ nedit.highlightPatterns: PRISM:1:0{\n\ Identifier:"<([A-Za-z_][A-Za-z0-9_]*)>":::PRISM Identifier::\n\ Numeric:"<(([0-9]*(\\.)?[0-9]+([eE]([-+])?[0-9]+)?)|([1-9][0-9]*)|0)>":::PRISM Numeric::\n\ } -nedit.languageModes: PRISM:.pm .nm .sm .pctl .csl::::::"!&|->:;,.()[]{}=<+*/'?""": +nedit.languageModes: PRISM:.pm .nm .sm .pctl .csl .pp::::::"!&|->:;,.()[]{}=<+*/'?""": nedit.styles: PRISM Comment:darkGreen:Italic\n\ PRISM Identifier:darkRed:Plain\n\ PRISM Numeric:Blue:Plain\n\