Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornosami <jasonimison@gmail.com>2016-07-15 03:10:05 +0300
committernosami <jasonimison@gmail.com>2016-07-15 03:10:05 +0300
commit8ea46c86ab8fb6e900a0544c517232ff40094b53 (patch)
treefb2f61d3b936c2ff43c63fd812ac791f1192785f /main/src/core/Mono.Texteditor
parent755cda179bd4755e36f73be12dcda834f66f4372 (diff)
[F#] Fixes syntax issue #42575
Diffstat (limited to 'main/src/core/Mono.Texteditor')
-rw-r--r--main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml7
1 files changed, 0 insertions, 7 deletions
diff --git a/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml b/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml
index 4f3b7b02c1..89c3907ce2 100644
--- a/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml
+++ b/main/src/core/Mono.Texteditor/SyntaxModes/FSharpSyntaxMode.xml
@@ -379,13 +379,6 @@
<Group color="Plain Text"/>
</Match>
- <Match expression="(module|type|and)(\s+)(\w+|``[^`]+``)(\s?=)" ignorecase="False">
- <Group color="Keyword(Namespace)"/>
- <Group color="Plain Text"/>
- <Group color="User Types"/>
- <Group color="Plain Text"/>
- </Match>
-
<Match expression="(module|type|and)(\s+)(\w+|``[^`]+``)" ignorecase="False">
<Group color="Keyword(Namespace)"/>
<Group color="Plain Text"/>