From 04129e69ed8626c46f09201f1b7879ff911a6ee1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Ch=C3=A1varri?= <javier.chavarri@gmail.com>
Date: Fri, 20 Oct 2023 16:54:18 +0200
Subject: [PATCH] [Reason] Disable semantic highlight (#1231)

---
 CHANGELOG.md | 5 +++++
 package.json | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 28b19e12a..e7a7419b8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Change Log
 
+# Unreleased
+
+- Disable semantic highlight in reason files to fix highlighting when opening
+  them over ssh (#1231)
+
 # 1.13.1
 
 - Fix highlighting of flags stanza in dune files (#1182)
diff --git a/package.json b/package.json
index 824abd3a0..d89dca970 100644
--- a/package.json
+++ b/package.json
@@ -633,6 +633,9 @@
       "[cram]": {
         "editor.tabSize": 2,
         "editor.insertSpaces": true
+      },
+      "[reason]": {
+        "editor.semanticHighlighting.enabled": false
       }
     },
     "problemMatchers": [