Mercurial > vim

annotate runtime/syntax/promela.vim @ 34146:23bb675796f0 v9.1.0034

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 9.1.0034: Window scrolls unexpectedly when 'scrollbind' is set Commit: https://github.com/vim/vim/commit/ac4cffc6d9d307778d8a2945adab70244470bbb8 Author: Christian Brabandt <cb@256bit.org> Date: Tue Jan 16 17:22:38 2024 +0100 patch 9.1.0034: Window scrolls unexpectedly when 'scrollbind' is set Problem: Window may unexpectedly scroll when 'scrollbind' is set and setting a buffer-local option using setbufvar() (Boris Staletic) Solution: Save and restore the windows topline before opening the popup window. fixes: #13863 closes: #13869 Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Tue, 16 Jan 2024 17:30:10 +0100
parents 43efa4f5a8ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
1 " Vim syntax file
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
2 " Language: ProMeLa
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
3 " Maintainer: Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com>
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
4 " First Release: Mon Oct 16 08:49:46 CEST 2006
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
5 " Last Change: Thu Aug 7 21:22:48 CEST 2008
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
6 " Version: 0.5
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
7
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 1702
diff changeset
8 " quit when a syntax file was already loaded
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 1702
diff changeset
9 if exists("b:current_syntax")
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
10 finish
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
11 endif
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
12
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
13 " case is significant
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
14 " syn case ignore
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
15 " ProMeLa Keywords
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
16 syn keyword promelaStatement proctype if else while chan do od fi break goto unless
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
17 syn keyword promelaStatement active assert label atomic
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
18 syn keyword promelaFunctions skip timeout run
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
19 syn keyword promelaTodo contained TODO
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
20 " ProMeLa Types
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
21 syn keyword promelaType bit bool byte short int
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
22 " Operators and special characters
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
23 syn match promelaOperator "!"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
24 syn match promelaOperator "?"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
25 syn match promelaOperator "->"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
26 syn match promelaOperator "="
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
27 syn match promelaOperator "+"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
28 syn match promelaOperator "*"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
29 syn match promelaOperator "/"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
30 syn match promelaOperator "-"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
31 syn match promelaOperator "<"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
32 syn match promelaOperator ">"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
33 syn match promelaOperator "<="
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
34 syn match promelaOperator ">="
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
35 syn match promelaSpecial "\["
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
36 syn match promelaSpecial "\]"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
37 syn match promelaSpecial ";"
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
38 syn match promelaSpecial "::"
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
39 " ProMeLa Comments
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
40 syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
41 syn match promelaComment "//.*" contains=promelaTodo,@Spell
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
42
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
43 " Class Linking
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
44 hi def link promelaStatement Statement
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
45 hi def link promelaType Type
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
46 hi def link promelaComment Comment
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
47 hi def link promelaOperator Type
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
48 hi def link promelaSpecial Special
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
49 hi def link promelaFunctions Special
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
50 hi def link promelaString String
1702
5232b9862f23 updated for version 7.2-000
vimboss
parents: 1620
diff changeset
51 hi def link promelaTodo Todo
1620
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
52
73fe8baea242 updated for version 7.2a
vimboss
parents:
diff changeset
53 let b:current_syntax = "promela"