Bump up version

miras143mom · May 29, 2017 · 2f7786f · 2f7786f
1 parent bf526a5
commit 2f7786f
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog
 
+## 0.9.8
+
+* Add option to toggle showing output channel of displaying typechecking result [#109](https://github.com/zjhmale/vscode-idris/issues/109)
+* Ignore huge image files when publishing to marketplace [#110](https://github.com/zjhmale/vscode-idris/issues/110)
+* Add option to control the max times of continuous typechecking in order to avoid memory leaking without reducing user experience [#111](https://github.com/zjhmale/vscode-idris/issues/111)
+* Mock a maybe monad to simplify nullary checking [#112](https://github.com/zjhmale/vscode-idris/issues/112)
+
 ## 0.9.6
 
 * Latex completion for `replCompletion` mode [#104](https://github.com/zjhmale/vscode-idris/issues/104)

diff --git a/README.md b/README.md
@@ -67,11 +67,12 @@ The following Visual Studio Code settings along with their *default* values that
 
 ```javascript
 {
-    "idris.executablePath": "idris",          // The full path to the idris executable.
-    "idris.hoverMode": "fallback",            // Controls the hover behavior. 'info' will display Idris documentation, 'type' will display Idris type, 'fallback' will try 'info' first and fallback to 'type' if we can not get the documentation, and 'none' will disable hover tooltips.
-    "idris.suggestMode": "allWords"           // Controls the auto-completion behavior. 'allWords' will always include all words from the currently opened documentation, 'replCompletion' will get suggestions from Idris REPL process.
-    "idris.warnPartial": false                // Show warning when a function is partial.
-    "idris.showOutputWhenTypechecking": false //Show output channel when typechecking finished."
+    "idris.executablePath": "idris",            // The full path to the idris executable.
+    "idris.hoverMode": "fallback",              // Controls the hover behavior. 'info' will display Idris documentation, 'type' will display Idris type, 'fallback' will try 'info' first and fallback to 'type' if we can not get the documentation, and 'none' will disable hover tooltips.
+    "idris.suggestMode": "allWords"             // Controls the auto-completion behavior. 'allWords' will always include all words from the currently opened documentation, 'replCompletion' will get suggestions from Idris REPL process.
+    "idris.warnPartial": false                  // Show warning when a function is partial.
+    "idris.showOutputWhenTypechecking": false   //Show output channel when typechecking finished.
+    "idris.numbersOfContinuousTypechecking": 10 //Kill Idris process every N times of continuous typechecking to avoid memory leaking.
 }
 ```
 

diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "Idris",
   "description": "Idris Language Support for Visual Studio Code",
-  "version": "0.9.6",
+  "version": "0.9.8",
   "publisher": "zjhmale",
   "engines": {
     "vscode": "^1.8.0"
@@ -129,7 +129,7 @@
         "idris.numbersOfContinuousTypechecking": {
           "type": "number",
           "default": 10,
-          "description": "Kill Idris process every N times of typechecking to avoid memory leaking."
+          "description": "Kill Idris process every N times of continuous typechecking to avoid memory leaking."
         }
       }
     },