From db6ae5db91e46a5d5de6170197050589a59f50b8 Mon Sep 17 00:00:00 2001 From: Ting-gian LUA Date: Fri, 15 Dec 2023 00:21:36 +0800 Subject: [PATCH] [ new ] Release v0.2.6.4.0.3 --- CHANGELOG.md | 5 +++-- agda-language-server.cabal | 2 +- package.yaml | 2 +- src/Server.hs | 3 ++- 4 files changed, 7 insertions(+), 5 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0724fcc..98c5e6e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,10 +4,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/). -## v0.2.6.4.0.2 - 2023-12-14 +## v0.2.6.4.0.3 - 2023-12-14 ### Fixed -- Add missing handlers for `lsp` methods. +- #15: Add missing handlers for `lsp` methods. +- #24: Fix the encoding of binaries built on GitHub Actions. - Patch path to the "data" directory when the executable is built on GitHub Actions. ## v0.2.6.4.0.0 - 2023-12-12 diff --git a/agda-language-server.cabal b/agda-language-server.cabal index 77aedd3..55db07c 100644 --- a/agda-language-server.cabal +++ b/agda-language-server.cabal @@ -5,7 +5,7 @@ cabal-version: 1.12 -- see: https://github.com/sol/hpack name: agda-language-server -version: 0.2.6.4.0.2 +version: 0.2.6.4.0.3 synopsis: An implementation of language server protocal (LSP) for Agda 2. description: Please see the README on GitHub at category: Development diff --git a/package.yaml b/package.yaml index e13907c..0c9c255 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: agda-language-server -version: 0.2.6.4.0.2 +version: 0.2.6.4.0.3 github: "banacorn/agda-language-server" license: MIT author: "Ting-Gian LUA" diff --git a/src/Server.hs b/src/Server.hs index 7ca31a0..2de1a5a 100644 --- a/src/Server.hs +++ b/src/Server.hs @@ -112,7 +112,8 @@ handlers = notificationHandler SInitialized $ \_not -> pure (), notificationHandler STextDocumentDidOpen $ \_not -> pure (), notificationHandler STextDocumentDidSave $ \_not -> pure (), - notificationHandler STextDocumentDidChange $ \_not -> pure () + notificationHandler STextDocumentDidChange $ \_not -> pure (), + notificationHandler SCancelRequest $ \_not -> pure () -- -- syntax highlighting -- , requestHandler STextD_cumentSemanticTokensFull $ \req responder -> do -- result <- Handler.onHighlight (req ^. (params . textDocument . uri))