reverts the configuration of eglot-move-to-column-function introduced…

… in 0883cce (Deducteam#977) Co-authored-by: Rehan MALAK <[email protected]>
fblanqui · Mar 29, 2024 · e30b979 · e30b979
1 parent abe073d
commit e30b979
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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