From 0701075054897feebd24a2d5d4ce6dbf518246f0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 7 Dec 2006 14:13:41 +0000 Subject: [PATCH] Added .pp to filter for NEdit syntax highlighting file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@185 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/prism.pats | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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\