From 470d04b4d87d1a6b8e836349a0736adac0d2567d Mon Sep 17 00:00:00 2001
From: Radu Mereuta <headness13@gmail.com>
Date: Tue, 20 Jun 2023 21:37:02 +0300
Subject: [PATCH] Make .md files open as K by default (#50)

* Make .md files open as K by default

This should avoid some confusion.

* Typo
---
 k-vscode/CHANGELOG.md      | 7 +++++--
 k-vscode/README.md         | 7 +++----
 k-vscode/package-lock.json | 2 +-
 k-vscode/package.json      | 3 ++-
 4 files changed, 11 insertions(+), 8 deletions(-)

diff --git a/k-vscode/CHANGELOG.md b/k-vscode/CHANGELOG.md
index 3ea380d..030a1ef 100644
--- a/k-vscode/CHANGELOG.md
+++ b/k-vscode/CHANGELOG.md
@@ -6,8 +6,11 @@ All notable changes to the "K framework" extension will be documented in this fi
 
 - Full error reporting inside the editor
 
-- Automatic support for klsp inside Markdown files. Right now you have
-  to manually select the Language Mode in the bottom right.
+## [0.2.4] - 2023-6-20
+
+- Automatically associate Markdown files with the K extension. To get the old
+  behavior you can manually select the extension mode in the bottom right, or
+  disable this extension.
 
 ## [0.2.3] - 2023-03-08
 
diff --git a/k-vscode/README.md b/k-vscode/README.md
index 32edc40..a8bd0c4 100644
--- a/k-vscode/README.md
+++ b/k-vscode/README.md
@@ -33,10 +33,9 @@ here: https://github.com/runtimeverification/k
   the location information gets out of sync, you may need to clean and
   rekompile your definition.
 
-- To enable `klsp` in Markdown you have to manually select the
-  Language Mode in the bottom right. To make this the default behavior
-  you can modify the Workspace Settings by adding
-  `"files.associations": { "*.md": "kframework" }` in your `package.json`.
+- Warning: this extension overrides the default extension for Markdown files.
+  To get the old behavior back you will have to manually select Markdown in the bottom right
+  or disable this extension.
 
 ### Contribute
 
diff --git a/k-vscode/package-lock.json b/k-vscode/package-lock.json
index 4ba4fdc..1c7a55d 100644
--- a/k-vscode/package-lock.json
+++ b/k-vscode/package-lock.json
@@ -1,6 +1,6 @@
 {
     "name": "k-vscode",
-    "version": "0.2.3",
+    "version": "0.2.4",
     "lockfileVersion": 1,
     "requires": true,
     "dependencies": {
diff --git a/k-vscode/package.json b/k-vscode/package.json
index c999819..847c525 100644
--- a/k-vscode/package.json
+++ b/k-vscode/package.json
@@ -2,7 +2,7 @@
     "name": "k-vscode",
     "displayName": "K Framework",
     "description": "Syntax highlighting and LSP support for the K Framework",
-    "version": "0.2.3",
+    "version": "0.2.4",
     "icon": "k-logo.png",
     "author": {
         "name": "Runtime Verification",
@@ -35,6 +35,7 @@
                 ],
                 "extensions": [
                     ".k"
+                    ,".md"
                 ],
                 "configuration": "./language-configuration.json"
             },