From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Newsgroups: gmane.emacs.bugs Subject: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Date: Sun, 28 Mar 2021 10:26:24 +0900 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000f4812a05be8ea79d" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10282"; mail-complaints-to="usenet@ciao.gmane.io" To: 47440@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Mar 28 03:29:12 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lQKEp-0002Xd-IS for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 28 Mar 2021 03:29:11 +0200 Original-Received: from localhost ([::1]:35082 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lQKEo-0002Id-I0 for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 27 Mar 2021 21:29:10 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44622) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lQKEg-0002IV-Ri for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:29:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:33655) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lQKEg-00039i-KP for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:29:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lQKEg-0007e7-FJ for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:29:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 28 Mar 2021 01:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47440 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.161689488829330 (code B ref -1); Sun, 28 Mar 2021 01:29:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 28 Mar 2021 01:28:08 +0000 Original-Received: from localhost ([127.0.0.1]:45202 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQKDo-0007cz-Hq for submit@debbugs.gnu.org; Sat, 27 Mar 2021 21:28:08 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:34872) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQKCU-0007ag-U1 for submit@debbugs.gnu.org; Sat, 27 Mar 2021 21:26:46 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44272) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lQKCU-0001R7-BV for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:26:46 -0400 Original-Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:36443) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lQKCN-00020o-2P for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:26:44 -0400 Original-Received: by mail-wr1-x42e.google.com with SMTP id k8so9285962wrc.3 for ; Sat, 27 Mar 2021 18:26:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=+/fGsTIYnukww6gMKOvJexgoAPOFDuYOpEymvBwit6M=; b=euP+1ukeWaFZ+Tsk5BLvJky3BuqD1wmUenMGsK6sd/xKuWH0UvGho4F9PISL9dwMJA yUBlfghn426DMhOEW3XA++zh10A9v/p7G0OFRqZKj9s1So2aMLVxKg8TUZ4uAhC9TC+q W24hBR8nSJ8X8H8hJPWvp9QC1Rfxdlnpdw4jbYaEqSo1cSEw9/7nX24RgAqE6DN6v90c GpIpd5Xx6mrUGxiOosqfxlajYfyPiRbqo8axWkI0RqTEnm/ODDqHrqrijw8JULxzfwiC baw/zyNW9pAKNKbbghQ13CSnjSiwImw33LUPHH0ZmS2n/ArTmo5ej/w0Md6J++r6TYtl TgWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=+/fGsTIYnukww6gMKOvJexgoAPOFDuYOpEymvBwit6M=; b=UjtqnTX+GLynJkevd3e/2chKJ2i040JskHcWWVCQH59FcbY8sMJdrCFwVQP/zMScWr aboV60aZ2VKZqgDwANT8bNNkaLkH8ZkxWFl230qO4e2wTRDivvbswz8Z4eodCDR90pbz vlj8s0mqgsiqCoiHzuPo66TZRhgxOiDO6eYeMqZ9Key5Fgatr966GKrwDK3vzXUECXoH PseHkc5gltDBr88mdms9Pni7BaucAtzZcMiEnOB0NfWJWXC9jW0+PduLP5OQAAmA9VFq 6FLIhD3qvMazhjk5FlSkG53QJcbLkicTF8/U+2S2WN2LYF8ylxXUEepoVBKee8KWM+f3 TTzA== X-Gm-Message-State: AOAM532D/WmwZomgTkg8XVWtkfsXbbji2eAxTeIgDj0z/LVgwJHlq9Ng hKGoC8HY++Gv8TCipnq2PPk6BCpmpOCkOI9EgsLqDB0vaiUYYw== X-Google-Smtp-Source: ABdhPJwDqNVaAtEjmqI4joadTywFKhbvLajOCg1ahZseFQvRIZNnrxoiev4mSKSGf/QV58AyNTF6My7Dkvwthe82FEA= X-Received: by 2002:adf:f143:: with SMTP id y3mr14029170wro.198.1616894796004; Sat, 27 Mar 2021 18:26:36 -0700 (PDT) Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=glacier345@gmail.com; helo=mail-wr1-x42e.google.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Sat, 27 Mar 2021 21:28:06 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:203142 Archived-At: --000000000000f4812a05be8ea79d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** 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... Configured using: 'configure --with-ns '--enable-locallisppath=3D/Library/Application Support/Emacs/${version}/site-lisp:/Library/Application Support/Emacs/site-lisp' --with-modules' Configured features: NOTIFY KQUEUE ACL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES THREADS JSON PDUMPER 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 Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc format-spec rfc822 mml mml-sec epa derived epg epg-config gnus-util rmail rmail-loaddefs mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils help-fns cl-print debug backtrace find-func time-date warnings misearch multi-isearch coq-unicode-tokens proof-unicode-tokens company-oddmuse company-keywords company-etags etags fileloop generator xref project company-gtags company-dabbrev-code company-dabbrev company-files company-clang company-capf company-cmake company-semantic company-template company-bbdb disp-table help-at-pt company-coq company-coq-utils company-coq-tg company-coq-abbrev notifications dbus pulse yasnippet shr text-property-search url-cookie url-domsuf url-util puny svg xml dom paren hideshow noutline outline dash company-math math-symbol-lists company edmacro kmacro pcase which-func imenu coq advice coq-diffs coq-par-compile coq-seq-compile coq-compile-common compile comint ansi-color coq-abbrev coq-local-vars local-vars-list coq-system proof proof-shell pg-user pg-goals pg-response proof-toolbar pg-assoc proof-tree proof-auxmodes pg-custom proof-splash proof-script proof-menu proof-utils scomint proof-syntax bufhist proof-config proof-faces proof-useropts pg-pamacs proof-compat pg-vars coq-mode coq-smie smie coq-syntax coq-db diff-mode easy-mmode holes span coq-indent init yatexhks yatex19 yatexsec yatex yatexadd yatexflt yatexlib hydra ring lv el-get el-get-autoloading el-get-list-packages el-get-dependencies el-get-build el-get-status pp el-get-methods el-get-fossil el-get-svn el-get-pacman el-get-github-zip el-get-github-tar el-get-http-zip el-get-http-tar el-get-hg el-get-go el-get-git-svn el-get-fink el-get-emacswiki el-get-http el-get-notify el-get-emacsmirror el-get-github el-get-git el-get-elpa el-get-darcs el-get-cvs el-get-bzr el-get-brew el-get-builtin el-get-apt-get el-get-recipes el-get-byte-compile el-get-custom cl-extra help-mode el-get-core autoload radix-tree lisp-mnt cl dired dired-loaddefs leaf-keywords leaf finder-inf cus-edit cus-start cus-load wid-edit proof-site proof-autoloads info package easymenu browse-url url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json subr-x map url-vars seq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib japan-util tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/ns-win ns-win ucs-normalize mule-util term/common-win tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads kqueue cocoa ns multi-tty make-network-process emacs) Memory information: ((conses 16 417471 21029) (symbols 48 29035 5) (strings 32 134196 3754) (string-bytes 1 3208544) (vectors 16 40463) (vector-slots 8 824202 24544) (floats 8 125 237) (intervals 56 3766 83) (buffers 1000 19)) --=20 =E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B Yosuke Ito glacier345@gmail.com --000000000000f4812a05be8ea79d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*** This report is related to the Proof General Issues "Proof G= eneral
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 app= ear
promptly.
For your information, the backtrace is the following.
Debugger entered--Lisp error: (dbus-error "Emacs not= compiled with dbus support")
=C2=A0=C2=A0signal(dbu= s-error ("Emacs not compiled with dbus support"))
=C2=A0=C2=A0dbus-call-method(:session "org.freedesktop.Notification= s" "/org/freedesktop/Notifications" "org.freedesktop.No= tifications" "Notify" :string "Emacs" :uint32 0 :s= tring "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." :st= ring "Prover ready! (proof took 44.29s)" :string "" (:a= rray) ((:dict-entry "urgency" (:variant :byte 1))) :int32 -1)
=C2=A0=C2=A0notifications-notify(:body "" :urgency= normal :title "Prover ready! (proof took 44.29s)" :app-icon &quo= t;/Users/yosukeito/.emacs.d/elpa/company-coq-2020072...")
=C2=A0=C2=A0company-coq-features/alerts--alert()
=C2=A0=C2= =A0company-coq-features/alerts--maybe-alert()
=C2=A0=C2= =A0apply(company-coq-features/alerts--maybe-alert nil)
=C2=A0=C2=A0timer-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 Vers= ion 10.14.6 (Build 18G95))
of 2020-08-12 b= uilt on builder10-14.porkrind.= org
Windowing system distributor '= Apple', version 10.3.2022
System Descr= iption:=C2=A0=C2=A0macOS 11.2.3

Recent messages:
Debug on Error e= nabled globally
Debug on Quit enabled glob= ally
Coq project file detected: /Users/yos= ukeito/Actuary/_CoqProject. [2 times]
Star= ting: coqtop -topfile /Users/yosukeito/Actuary/Papers/syllogism.v -emacs -Q= /Users/yosukeito/Actuary Actuary
Capabili= ty 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 refresh= es [2 times]
Starting coq process... done.=
Quit
Ent= ering debugger...

Configured using:
<= span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-st= yle:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:norma= l;text-align:start;text-indent:0px;text-transform:none;white-space:normal;w= ord-spacing:0px;text-decoration:none;display:inline;float:none">'config= ure --with-ns '--enable-locallisppath=3D/Library/Application
Support/Emacs/${version}/site-lisp:/Library/Applicat= ion
Support/Emacs/site-lisp' --with-mo= dules'

Configured features:
NOTIFY KQUEUE A= CL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES
THREADS JSON PDUMPER

Important settings:
=C2=A0=C2=A0value of $LANG: ja_JP.UTF-8
<= span class=3D"gmail-Apple-converted-space" style=3D"color:rgb(0,0,0);font-f= amily:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;f= ont-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;te= xt-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"= >=C2=A0=C2=A0locale-coding-= system: utf-8-unix

Major mode: Debugger

Minor modes in effect:
=C2=A0=C2= =A0show-paren-mode: t
= =C2=A0=C2=A0leaf-key-overri= de-global-mode: t
=C2=A0=C2=A0tooltip-mode: t
=C2=A0=C2=A0global-eldoc-mode: t
=C2=A0=C2=A0elect= ric-indent-mode: t
=C2=A0=C2=A0mouse-wheel-mode: t
=C2=A0=C2=A0tool-bar-mode: t
=C2=A0=C2=A0me= nu-bar-mode: t
=C2=A0=C2=A0file-name-shadow-mode: t
=C2=A0=C2=A0global-font-lock-mode: t
=C2=A0=C2=A0<= /span>font-lock-mode: t
=C2=A0= =C2=A0blink-cursor-mode: t<= /span>
=C2=A0=C2=A0auto-composition-mode: t
=C2=A0=C2= =A0auto-encryption-mode: t
=C2=A0=C2=A0auto-compre= ssion-mode: t
=C2=A0=C2=A0buffer-read-only: t=C2=A0=C2=A0line-number-mode: t
=C2=A0=C2=A0tran= sient-mark-mode: t

Load-path shadows:
None foun= d.

Fe= atures:
(shadow sort mail-extr emacsbug me= ssage rmc format-spec rfc822 mml
mml-sec e= pa derived epg epg-config gnus-util rmail rmail-loaddefs
mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev = gmm-utils
mailheader sendmail rfc2047 rfc2= 045 ietf-drums mm-util mail-prsvr
mail-uti= ls help-fns cl-print debug backtrace find-func time-date
warnings misearch multi-isearch coq-unicode-tokens proof-uni= code-tokens
company-oddmuse company-keywor= ds company-etags etags fileloop generator
= xref project company-gtags company-dabbrev-code company-dabbrev
company-files company-clang company-capf company-cmak= e company-semantic
company-template comp= any-bbdb disp-table help-at-pt company-coq
company-coq-utils company-coq-tg company-coq-abbrev notifications dbus
pulse yasnippet shr text-property-search url-= cookie url-domsuf url-util
puny svg xml do= m paren hideshow noutline outline dash company-math
math-symbol-lists company edmacro kmacro pcase which-func imenu c= oq
advice coq-diffs coq-par-compile coq-se= q-compile coq-compile-common
compile comin= t ansi-color coq-abbrev coq-local-vars local-vars-list
coq-system proof proof-shell pg-user pg-goals pg-response proo= f-toolbar
pg-assoc proof-tree proof-auxmod= es pg-custom proof-splash proof-script
pro= of-menu proof-utils scomint proof-syntax bufhist proof-config
proof-faces proof-useropts pg-pamacs proof-compat pg-va= rs coq-mode
coq-smie smie coq-syntax coq-d= b diff-mode easy-mmode holes span
coq-inde= nt init yatexhks yatex19 yatexsec yatex yatexadd yatexflt
yatexlib hydra ring lv el-get el-get-autoloading el-get-l= ist-packages
el-get-dependencies el-get-bu= ild el-get-status pp el-get-methods
el-get= -fossil el-get-svn el-get-pacman el-get-github-zip
el-get-github-tar el-get-http-zip el-get-http-tar el-get-hg el-get= -go
el-get-git-svn el-get-fink el-get-emac= swiki el-get-http el-get-notify
= el-get-ema= csmirror el-get-github el-get-git el-get-elpa el-get-darcs
el-get-cvs el-get-bzr el-get-brew el-get-builtin el-get-a= pt-get
el-get-recipes el-get-byte-compile = el-get-custom cl-extra help-mode
el-get-co= re autoload radix-tree lisp-mnt cl dired dired-loaddefs
leaf-keywords leaf finder-inf cus-edit cus-start cus-load wid= -edit
proof-site proof-autoloads info pack= age easymenu browse-url url-handlers
url-p= arse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs
password-cache json subr-x map url-vars seq byte-opt = gv bytecomp
byte-compile cconv cl-loaddefs= cl-lib japan-util tooltip eldoc electric
= uniquify ediff-hook vc-hooks lisp-float-type mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-b= ar dnd fontset image
regexp-opt fringe tab= ulated-list replace newcomment text-mode elisp-mode
lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow is= earch
timer select scroll-bar mouse jit-lo= ck font-lock syntax facemenu
font-core ter= m/tty-colors frame minibuffer cl-generic cham georgian
utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao kore= an
japanese eucjp-ms cp51932 hebrew greek = romanian slovak czech european
<= span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-st= yle:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:norma= l;text-align:start;text-indent:0px;text-transform:none;white-space:normal;w= ord-spacing:0px;text-decoration:none;display:inline;float:none">ethiopic in= dian cyrillic chinese composite charscript charprop
case-table epa-hook jka-cmpr-hook help simple abbrev obarray
cl-preloaded nadvice loaddefs button faces cus= -face macroexp files
text-properties overl= ay sha1 md5 base64 format env code-pages mule
custom widget hashtable-print-readable backquote threads kqueue cocoa n= s
multi-tty make-network-process emacs)

Memory = information:
((conses 16 417471 21029)
(symbols 48 29035 5)
(strings 32 134196 3754)
(string-= bytes 1 3208544)
(vectors 16 40463)=
(vector-slots 8 824202 24544)
(floats 8 125 237)
(interva= ls 56 3766 83)
(buffers 1000 19))

--
=E4=BC=8A=E8=97= =A4=E6=B4=8B=E4=BB=8B
Yosuke Ito
=
--000000000000f4812a05be8ea79d--