From e89802f24ca2289ddc71e5b058088b88e1a11fad Mon Sep 17 00:00:00 2001 From: Bozhidar Batsov Date: Mon, 18 Jul 2022 23:20:14 +0300 Subject: [PATCH] Address a compilation warning --- src/top/utop.el | 33 ++++++++++++++++----------------- 1 file changed, 16 insertions(+), 17 deletions(-) diff --git a/src/top/utop.el b/src/top/utop.el index f7c5dd48..992d6eee 100644 --- a/src/top/utop.el +++ b/src/top/utop.el @@ -1170,23 +1170,6 @@ See https://github.com/ocaml-community/utop for configuration information.")) (interactive) (describe-function 'utop)) -(easy-menu-define - utop-menu utop-mode-map - "utop menu." - '("utop" - ["Start utop" utop t] - ["Interrupt utop" utop-interrupt :active (utop-is-running)] - ["Kill utop" utop-kill :active (utop-is-running)] - ["Exit utop gracefully" utop-exit :active (utop-is-running)] - "---" - ["Evaluate Phrase" utop-eval-input-auto-end :active (and (utop-is-running) (eq utop-state 'edit))] - ["Switch to OCaml source buffer" utop-switch-to-recent-buffer t] - "---" - ["Customize utop" (customize-group 'utop) t] - "---" - ["About" utop-about t] - ["Help" utop-help t])) - (defvar utop-mode-map (let ((map (make-sparse-keymap))) (define-key map (kbd "RET") #'utop-eval-input-or-newline) @@ -1203,6 +1186,22 @@ See https://github.com/ocaml-community/utop for configuration information.")) (define-key map (kbd "C-c C-g") #'utop-exit) (define-key map (kbd "C-c C-s") #'utop) (define-key map (kbd "C-c m") #'utop-copy-old-input) + (easy-menu-define + utop-menu map + "utop menu." + '("utop" + ["Start utop" utop t] + ["Interrupt utop" utop-interrupt :active (utop-is-running)] + ["Kill utop" utop-kill :active (utop-is-running)] + ["Exit utop gracefully" utop-exit :active (utop-is-running)] + "---" + ["Evaluate Phrase" utop-eval-input-auto-end :active (and (utop-is-running) (eq utop-state 'edit))] + ["Switch to OCaml source buffer" utop-switch-to-recent-buffer t] + "---" + ["Customize utop" (customize-group 'utop) t] + "---" + ["About" utop-about t] + ["Help" utop-help t])) map) "The utop local keymap.")