s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Update to PRISM+Gnome file associations. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@285 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 19 years ago
parent
93e4bb398e
commit
4de349052a
1 changed files with 2 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism/etc/prism.lang

2
prism/etc/prism.lang
View File

@ -5,6 +5,8 @@
<!-- Save this file in ~/.gnome2/gtksourceview-1.0/language-specs/ --> <!-- Save this file in ~/.gnome2/gtksourceview-1.0/language-specs/ -->
<!-- After a restart of Gnome, "PRISM" should appear as a highlight mode under "Others" --> <!-- After a restart of Gnome, "PRISM" should appear as a highlight mode under "Others" -->
<!-- See the file Overrides.xml for info about adding MIME types under Gnome -->
<language _name="PRISM" version="1.0" _section="Others" mimetypes="text/x-prism"> <language _name="PRISM" version="1.0" _section="Others" mimetypes="text/x-prism">
<line-comment _name = "Line Comment" style= "Comment"> <line-comment _name = "Line Comment" style= "Comment">

Write Preview
Loading…
Cancel
Save