[ doc ] Bump version & update CHANGELOG

Author: banacorn

CHANGELOG.md

@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## v0.2.0 - TBA
+
+### Fixed 
+- #2: Allow user to supply command-line options via agda-mode
+
 ## v0.1.4 - 2021-10-04
 
 ### Fixed 

agda-language-server.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           agda-language-server
-version:        0.1.4
+version:        0.2.0
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/banacorn/agda-language-server#readme>
 category:       Development

package.yaml

@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.1.4
+version:             0.2.0
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"

src/Options.hs

@@ -68,6 +68,8 @@ usageAboutAgdaOptions =
       \    To pass command line options to Agda, put them in between '+AGDA' and '-AGDA'\n\
       \    For example:\n\
       \      als -p=3000 +AGDA --cubical -AGDA\n\
+      \    If you are using agda-mode on VS Code, put them in the Settings at:\n\
+      \      agdaMode.connection.commandLineOptions\n\
       \"
 
 parseOpts :: [String] -> IO (Options, [String])