diff options
author | nosami <jasonimison@gmail.com> | 2016-03-18 15:01:26 +0300 |
---|---|---|
committer | nosami <jasonimison@gmail.com> | 2016-03-18 15:01:40 +0300 |
commit | d32955e684655288159b02485e6e33a62e7dee05 (patch) | |
tree | 4853d52be5baaef95bf2e2c234b57bab20ad1c93 /main/src/core/Mono.Texteditor | |
parent | bac7b828510b3463beb41fb0b6123d4c61c6543e (diff) |
bump fsharpbinding
Diffstat (limited to 'main/src/core/Mono.Texteditor')
-rw-r--r-- | main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml b/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml index 47270e011b..cc9e2f3f0e 100644 --- a/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml +++ b/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml @@ -152,7 +152,17 @@ <Keywords color="Keyword(Parameter)"> </Keywords> - + <Keywords color = "Punctuation(Brackets)"> + <Word>(</Word> + <Word>)</Word> + <Word>[</Word> + <Word>]</Word> + <Word><</Word> + <Word>></Word> + <Word>{</Word> + <Word>}</Word> + </Keywords> + <Keywords color="Keyword(Operator Declaration)"> </Keywords> @@ -187,16 +197,7 @@ <Word>||</Word> </Keywords> - <Keywords color = "Punctuation(Brackets)"> - <Word>(</Word> - <Word>)</Word> - <Word>[</Word> - <Word>]</Word> - <Word><</Word> - <Word>></Word> - <Word>{</Word> - <Word>}</Word> - </Keywords> + <EolSpan color = "Comment(Doc)" rule="XmlDocumentation" tagColor="Comment(DocTag)">///</EolSpan> <EolSpan color = "Comment(Line)" rule="Comment" tagColor="Comment(Line)">//</EolSpan> @@ -337,17 +338,16 @@ <Group color="User Types"/> </Match> - <!-- |> |< << >> <= >= <- -> :?> --> - <Match color="Punctuation(Brackets)">(\|>|\|<|<<|>>|<=|>=|<-|->|:\?>)</Match> + <!-- ( ) [ ] < > { } |> |< << >> <= >= <- -> :?> --> <Match expression="(\<\-)"> <Group color="Punctuation(Brackets)"/> </Match> - <Match expression="(<)([A-Za-z]+)(>)"> + <Match expression="(<)([A-Za-z]+)(?:>)"> <Group color="Punctuation(Brackets)"/> <Group color="User Types"/> - <Group color="Punctuation(Brackets)"/> </Match> + <Match color="Punctuation(Brackets)">(\|>|\|<|<<|>>|<=|>=|<-|->|:\?>)</Match> <Match color="User Types">'\w+</Match> <Match expression="(namespace|open)\b(.*)$" ignorecase="False"> |