From 988e8cd89a7a89737fd0780bb562346cc2e72677 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 27 Apr 2007 10:29:48 +0000
Subject: [PATCH] Updated Gnome highlighting/MIME types to include
 precprocessor stuff.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@321 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/Overrides.xml | 1 +
 prism/etc/prism.lang    | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/prism/etc/Overrides.xml b/prism/etc/Overrides.xml
index 843f62a9..61900f5c 100644
--- a/prism/etc/Overrides.xml
+++ b/prism/etc/Overrides.xml
@@ -24,5 +24,6 @@
     <glob pattern="*.nm"/>
     <glob pattern="*.pctl"/>
     <glob pattern="*.csl"/>
+    <glob pattern="*.pp"/>
   </mime-type>
 </mime-info>
diff --git a/prism/etc/prism.lang b/prism/etc/prism.lang
index ee96836e..95cf572d 100644
--- a/prism/etc/prism.lang
+++ b/prism/etc/prism.lang
@@ -13,6 +13,10 @@
 		<start-regex>//</start-regex>
 	</line-comment>
 
+	<syntax-item _name = "PRISM Preprocessor" style = "Preprocessor">
+		<start-regex>#</start-regex><end-regex>#</end-regex>
+	</syntax-item>
+
 	<pattern-item _name = "Numeric" style = "Decimal">
 		<regex>(\b([1-9][0-9]*|0)\b)|(\b([0-9]+[Ee][+-]?[0-9]+|([0-9]*\.[0-9]+|[0-9]+\.)([Ee][-]?[0-9]+)?)[fFlL]?)</regex>
 	</pattern-item>