From 27bca9c3dc81a005c56404ecbf8debdf18a07c13 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 14 Oct 2016 18:45:31 -0700 Subject: [PATCH] chore(emacs/lean-server): force utf8 --- src/emacs/lean-server.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index f745058929..221bf6f7dc 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -40,6 +40,7 @@ (lean-get-executable lean-executable-name) "--server" (format "*%s*" (buffer-name))))) + (set-process-coding-system lean-server-process 'utf-8 'utf-8) (set-process-query-on-exit-flag lean-server-process nil) (setq lean-server-handler-tq (tq-create lean-server-process))))