From e30b9790784ee97dec66ac5a4420084700107b27 Mon Sep 17 00:00:00 2001 From: Rehan MALAK Date: Fri, 29 Mar 2024 11:56:08 +0100 Subject: [PATCH] reverts the configuration of eglot-move-to-column-function introduced in 0883cce9 (#977) Co-authored-by: Rehan MALAK --- editors/emacs/lambdapi-mode.el | 3 --- 1 file changed, 3 deletions(-) diff --git a/editors/emacs/lambdapi-mode.el b/editors/emacs/lambdapi-mode.el index 9e719d032..c9bd8c150 100644 --- a/editors/emacs/lambdapi-mode.el +++ b/editors/emacs/lambdapi-mode.el @@ -194,9 +194,6 @@ '(lambdapi-mode . ("lambdapi" "lsp" "--standard-lsp"))) (eglot-ensure) - ;; set column offsets for lambdapi's LSP server - (setq-local eglot-move-to-column-function #'eglot-move-to-column) - ;; Hooks for goals (add-hook 'post-command-hook #'lambdapi-update-line-number nil :local) ;; Hook binding line change to re-execution of proof/goals