From ecd200be89e159905089fa71baeec3fb05eafa4e Mon Sep 17 00:00:00 2001 From: Richard Copley Date: Fri, 23 Feb 2024 07:37:02 +0000 Subject: [PATCH] Avoid clearing echo area during info-buffer redisplay (#49) When the mode is entered asynchronously (for fontification in "lean4-info-buffer-redisplay"), calling "set-input-method" has the side effect of clearing the echo area, disrupting eldoc. Since the info buffer is read-only, there is no need for an input method. --- lean4-info.el | 1 - 1 file changed, 1 deletion(-) diff --git a/lean4-info.el b/lean4-info.el index 59da2f0..35b6f5a 100644 --- a/lean4-info.el +++ b/lean4-info.el @@ -51,7 +51,6 @@ (set (make-local-variable 'font-lock-defaults) lean4-info-font-lock-defaults) (set (make-local-variable 'indent-tabs-mode) nil) (set 'compilation-mode-font-lock-keywords '()) - (set-input-method "Lean") (set (make-local-variable 'lisp-indent-function) 'common-lisp-indent-function))