From a24490a06aed1047cd555a8a845fc207a8de58fb Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sun, 11 Dec 2016 13:55:52 -0500 Subject: [PATCH] fix(emacs/lean-server): wrap correct function with save-match-data In emacs 24, apparently just setting a timer changed the match data... --- src/emacs/lean-server.el | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index f3b166c4e6..a00e10ee28 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -194,16 +194,16 @@ (defun lean-server-sync () "Synchronizes the current buffer state with lean server" - (save-match-data - (lean-server-send-command - 'sync (list :file_name (buffer-file-name) - :content (buffer-string))))) + (lean-server-send-command + 'sync (list :file_name (buffer-file-name) + :content (buffer-string)))) (defvar-local lean-server-sync-timer nil) (defun lean-server-change-hook (begin end len) - (when lean-server-sync-timer (cancel-timer lean-server-sync-timer)) - (setq lean-server-sync-timer - (run-at-time "200 milliseconds" nil #'lean-server-sync))) + (save-match-data + (when lean-server-sync-timer (cancel-timer lean-server-sync-timer)) + (setq lean-server-sync-timer + (run-at-time "200 milliseconds" nil #'lean-server-sync)))) (provide 'lean-server)