bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly.
From:
伊藤洋介
Subject:
bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly.
Date:
Sun, 28 Mar 2021 10:26:24 +0900
*** This report is related to the Proof General Issues "Proof General freezes after I-search #565. *** I use Proof General Version 4.5-git, Company-Coq. The bug description is as follows. I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-c C-n), but the proof process got stuck. So I pressed "Quit" (C-g), however the backtrace did not appear promptly. For your information, the backtrace is the following. Debugger entered--Lisp error: (dbus-error "Emacs not compiled with dbus support") signal(dbus-error ("Emacs not compiled with dbus support")) dbus-call-method(:session "org.freedesktop.Notifications" "/org/freedesktop/Notifications" "org.freedesktop.Notifications" "Notify" :string "Emacs" :uint32 0 :string "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." :string "Prover ready! (proof took 44.29s)" :string "" (:array) ((:dict-entry "urgency" (:variant :byte 1))) :int32 -1) notifications-notify(:body "" :urgency normal :title "Prover ready! (proof took 44.29s)" :app-icon "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072...") company-coq-features/alerts--alert() company-coq-features/alerts--maybe-alert() apply(company-coq-features/alerts--maybe-alert nil) timer-event-handler([t 24671 54603 609259 nil company-coq-features/alerts--maybe-alert nil nil 0])
In GNU Emacs 27.1 (build 1, x86_64-apple-darwin18.7.0, NS appkit-1671.60 Version 10.14.6 (Build 18G95)) of 2020-08-12 built on builder10-14.porkrind.org Windowing system distributor 'Apple', version 10.3.2022 System Description:macOS 11.2.3
Recent messages: Debug on Error enabled globally Debug on Quit enabled globally Coq project file detected: /Users/yosukeito/Actuary/_CoqProject. [2 times] Starting: coqtop -topfile /Users/yosukeito/Actuary/Papers/syllogism.v -emacs -Q /Users/yosukeito/Actuary Actuary Capability detection complete: dynamic completion is available. Hit M-x proof-layout-windows to reset layout M-x proof-prf for goals; M-x proof-layout-windows refreshes [2 times] Starting coq process... done. Quit Entering debugger...
Important settings: value of $LANG: ja_JP.UTF-8 locale-coding-system: utf-8-unix
Major mode: Debugger
Minor modes in effect: show-paren-mode: t leaf-key-override-global-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t buffer-read-only: t line-number-mode: t transient-mark-mode: t