Prepare for v0.1.0

CHANGELOG.md

@@ -1 +1,5 @@
 # Changelog
+
+## v0.1.0 - 11/16/2020
+
+Initial release.

package-lock.json

@@ -1461,6 +1461,12 @@
                 "esprima": "^4.0.0"
             }
         },
+        "json": {
+            "version": "10.0.0",
+            "resolved": "https://registry.npmjs.org/json/-/json-10.0.0.tgz",
+            "integrity": "sha512-iK7tAZtpoghibjdB1ncCWykeBMmke3JThUe+rnkD4qkZaglOIQ70Pw7r5UJ4lyUT+7gnw7ehmmLUHDuhqzQD+g==",
+            "dev": true
+        },
         "json-parse-better-errors": {
             "version": "1.0.2",
             "resolved": "https://registry.npmjs.org/json-parse-better-errors/-/json-parse-better-errors-1.0.2.tgz",

package.json

@@ -1,7 +1,7 @@
 {
     "name": "texinfo",
     "displayName": "Texinfo Language Support",
-    "description": "Provides basic editing experience for the Texinfo language, including syntax highlighting, code completion, HTML preview, etc.",
+    "description": "Provides basic editing experience for Texinfo documents, including syntax highlighting, code completion, HTML preview, etc.",
     "publisher": "cismonx",
     "version": "0.1.0",
     "author": {
@@ -24,6 +24,7 @@
         "@typescript-eslint/parser": "^4.7.0",
         "cson": "^7.20.0",
         "eslint": "^7.13.0",
+        "json": "^10.0.0",
         "language-texinfo": "^1.0.0",
         "node-html-parser": "^2.0.0",
         "ts-loader": "^8.0.11",

scripts/prepare.sh

@@ -5,4 +5,4 @@ DEST_PATH=./out/grammars
 mkdir -p $DEST_PATH
 cp $SRC_PATH/LICENSE.md $DEST_PATH
 # Convert TextMate grammar from CSON to JSON, as VSCode cannot recognize CSON ones.
-cson2json $SRC_PATH/grammars/texinfo.cson > $DEST_PATH/texinfo.json
+cson2json $SRC_PATH/grammars/texinfo.cson | json -j0 > $DEST_PATH/texinfo.json

src/contexts/preview.ts

@@ -125,6 +125,8 @@ export default class PreviewContext {
             "switch (message.command) {" +
                 "case 'goto':" +
                     "window.location.hash = message.value;" +
+                    // We may want to scroll to the same node again.
+                    "history.pushState('', '', window.location.pathname);" +
                     "break;" +
             "}" +
         "})";