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" },