From unknown Tue Jun 24 01:42:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 06 Mar 2019 17:43:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 34771 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 34771@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155189415226151 (code B ref -1); Wed, 06 Mar 2019 17:43:01 +0000 Received: (at submit) by debbugs.gnu.org; 6 Mar 2019 17:42:32 +0000 Received: from localhost ([127.0.0.1]:34639 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1aYp-0006nh-NR for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:32 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40084) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1aYn-0006nV-Qh for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:30 -0500 Received: from lists.gnu.org ([209.51.188.17]:59976) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h1aYi-0003lT-LQ for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:24 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54465) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1aYh-0003cv-0X for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:24 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: **** X-Spam-Status: No, score=4.1 required=5.0 tests=BAYES_50,RCVD_IN_PBL, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45972) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1aYg-0003kM-SB for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:22 -0500 Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:48113) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1h1aYg-0007i1-Pd for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:22 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailauth.nyi.internal (Postfix) with ESMTP id 25B1B26A48 for ; Wed, 6 Mar 2019 12:42:22 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Wed, 06 Mar 2019 12:42:22 -0500 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrfeeigdegfecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephffvufffkfgfgggtgfesthhqredttd erjeenucfhrhhomhepvfgrshhsihhlohcujfhorhhnuceothhsughhsehgnhhurdhorhhg qeenucffohhmrghinhepfhgrshhtmhgrihhlrdgtohhmnecukfhppeelfedrvdefiedrud dvledrhedvnecurfgrrhgrmhepmhgrihhlfhhrohhmpehthhhorhhnodhmvghsmhhtphgr uhhthhhpvghrshhonhgrlhhithihqdekieejfeekjeekgedqieefhedvleekqdhtshguhh eppehgnhhurdhorhhgsehfrghsthhmrghilhdrfhhmnecuvehluhhsthgvrhfuihiivgep td X-ME-Proxy: Received: from thinkpad-t440p (p5dec8134.dip0.t-ipconnect.de [93.236.129.52]) by mail.messagingengine.com (Postfix) with ESMTPA id 3CAFE10318 for ; Wed, 6 Mar 2019 12:42:21 -0500 (EST) From: Tassilo Horn Date: Wed, 06 Mar 2019 18:42:19 +0100 Message-ID: <87bm2nj3wk.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) The docs state: ,----[ (info "(elisp)Other Display Specs") ] | You can make any display specification conditional. To do that, | package it in another list of the form =E2=80=98(when CONDITION . SPEC)= =E2=80=99. Then | the specification SPEC applies only when CONDITION evaluates to a | non-=E2=80=98nil=E2=80=99 value. During the evaluation, =E2=80=98object= =E2=80=99 is bound to the string | or buffer having the conditional =E2=80=98display=E2=80=99 property. =E2= =80=98position=E2=80=99 and | =E2=80=98buffer-position=E2=80=99 are bound to the position within =E2=80= =98object=E2=80=99 and the | buffer position where the =E2=80=98display=E2=80=99 property was found, r= espectively. | Both positions can be different when =E2=80=98object=E2=80=99 is a string. `---- So in a conditional display spec, object should always be a buffer. However, that doesn't seem to be the reality. Sometimes, it is also a window. Here's a recipe for the current master: $ emacs -q In *scratch* insert and evaluate: (insert (propertize "foobar" 'display `(when (get-buffer-window object) . ,(format "%s" (random)))) "\n") Now move point over the displayed random number, hit and hold C-l, or do whatever triggers redisplay. Now I have this in *Messages*: Error during redisplay: (eval (get-buffer-window object)) signaled (wrong-t= ype-argument stringp #) [33 times] In GNU Emacs 27.0.50 (build 8, x86_64-pc-linux-gnu, GTK+ Version 3.24.5) of 2019-03-06 built on thinkpad-t440p Repository revision: 2260e48d2eeaa9ea2b9c17389cc25d00f85c414c Repository branch: master Windowing system distributor 'The X.Org Foundation', version 11.0.12004000 System Description: Arch Linux Recent messages: 20190306T182620.294> nnimap read 0k from imap.fastmail.com 20190306T182623.263> Exiting summary buffer and applying spam rules 20190306T182623.788> Expiring articles... 20190306T182624.202> Expiring articles...done 20190306T182625.333> Saving Gnus registry (9449 entries) to ~/.gnus.d/.gnus= .registry.eieio... 20190306T182626.824> Saving Gnus registry (size 9449) to ~/.gnus.d/.gnus.re= gistry.eieio...done 20190306T182626.828> Saving /home/horn/.gnus.d/.newsrc.eld... Saving file /home/horn/.gnus.d/.newsrc.eld... Wrote /home/horn/.gnus.d/.newsrc.eld 20190306T182626.864> Saving /home/horn/.gnus.d/.newsrc.eld...done Configured features: XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS GLIB NOTIFY INOTIFY ACL GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB TOOLKIT_SCROLL_BARS GTK3 X11 XDBE XIM THREADS LIBSYSTEMD JSON PDUMPER LCMS2 GMP Important settings: value of $LC_MONETARY: de_DE.utf8 value of $LC_NUMERIC: de_DE.utf8 value of $LC_TIME: de_DE.utf8 value of $LANG: en_US.utf8 value of $XMODIFIERS: @im=3Dibus locale-coding-system: utf-8-unix Major mode: Group Minor modes in effect: hl-line-mode: t cursor-sensor-mode: t gnus-topic-mode: t intero-global-mode: t global-aggressive-indent-mode: t pdf-occur-global-minor-mode: t recentf-mode: t which-key-mode: t beacon-mode: t global-company-mode: t global-magit-file-mode: t magit-auto-revert-mode: t global-git-commit-mode: t async-bytecomp-package-mode: t override-global-mode: t minibuffer-depth-indicate-mode: t electric-pair-mode: t global-subword-mode: t subword-mode: t save-place-mode: t savehist-mode: t show-paren-mode: t gnus-undo-mode: t shell-dirtrack-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t global-prettify-symbols-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 column-number-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort gnus-cite emacsbug qp gnus-async gnus-ml hl-line cursor-sensor nndraft nnmh rot13 utf-7 gnutls network-stream nnml nnnil gnus-agent gnus-srvr gnus-score score-mode nnvirtual gnus-cache gnus-demon nntp spam spam-stat gnus-uu yenc gnus-msg gnus-gravatar mail-extr gravatar url-cache gnus-topic gnus-registry registry eieio-base th-private debug misearch multi-isearch descr-text help-fns radix-tree cl-print backtrace ace-window avy find-dired grep visual-file-name-abbrev company-oddmuse company-keywords company-etags company-gtags company-dabbrev-code company-dabbrev company-files company-capf company-cmake company-xcode company-clang company-semantic company-eclim company-template company-bbdb highlight-symbol org-rmail org-mhe org-irc org-info org-gnus nnir org-docview doc-view org-bibtex bibtex org-bbdb org-w3m paredit bug-reference generic fish-mode cargo cargo-process markdown-mode rust-mode idris-mode idris-commands idris-hole-list idris-ipkg-mode idris-tree-info idris-warnings-tree idris-info idris-repl idris-highlight-input idris-prover inferior-idris idris-warnings idris-log idris-events idris-simple-indent idris-syntax idris-common-utils idris-settings idris-keys idris-core idris-compat prop-menu intero flycheck hindent haskell-mode haskell-cabal haskell-utils haskell-font-lock haskell-indentation haskell-string haskell-sort-imports haskell-lexeme haskell-align-imports haskell-compat haskell-complete-module haskell-ghc-support flymake-proc flymake thingatpt etags fileloop xref project dabbrev haskell-customize web-mode disp-table preview-latex auto-loads tex-site aggressive-indent rainbow-mode color vc-git vc-dir ewoc vc vc-dispatcher epa-file org-element avl-tree generator org org-macro org-footnote org-pcomplete org-list org-faces org-entities org-version ob-emacs-lisp ob ob-tangle org-src ob-ref ob-lob ob-table ob-keys ob-exp ob-comint ob-core ob-eval org-compat org-macs org-loaddefs cal-menu calendar cal-loaddefs dired-x boxquote rect smtpmail-multi smtpmail sendmail ecomplete yasnippet auto-dictionary flyspell ispell pdf-occur ibuf-ext ibuffer ibuffer-loaddefs tablist tablist-filter semantic/wisent/comp semantic/wisent semantic/wisent/wisent semantic/util-modes semantic/util semantic semantic/tag semantic/lex semantic/fw mode-local find-func cedet pdf-isearch let-alist pdf-misc pdf-tools compile cus-edit cus-start cus-load pdf-view magit-bookmark bookmark pp jka-compr pdf-cache pdf-info tq pdf-util image-mode recentf tree-widget which-key moody beacon highlight-parentheses cl company-restclient know-your-http-well http-status-codes http-relations http-methods http-headers company pcase restclient noutline outline magit-submodule magit-obsolete magit-blame magit-stash magit-bisect magit-push magit-pull magit-fetch magit-clone magit-remote magit-commit magit-sequence magit-notes magit-worktree magit-tag magit-merge magit-branch magit-reset magit-files magit-refs magit-status magit magit-repos magit-apply magit-wip magit-log which-func imenu magit-diff smerge-mode diff-mode magit-core magit-autorevert autorevert filenotify magit-margin magit-transient magit-process magit-mode transient git-commit magit-git magit-section magit-utils crm log-edit pcvs-util add-log with-editor async-bytecomp async server debbugs soap-client url-http url-auth url-gw nsm url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util warnings rng-xsd rng-dt rng-util xsd-regexp xml use-package-bind-key bind-key mb-depth rx bs windmove elec-pair cap-words superword subword saveplace savehist paren smiley gnus-art mm-uu mml2015 mm-view mml-smime smime dig mailcap gnus-sum gnus-group gnus-undo gnus-start gnus-cloud nnimap nnmail mail-source utf7 netrc nnoo gnus-spec gnus-int gnus-range message rmc puny dired dired-loaddefs rfc822 mml mml-sec epa derived epg mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader gnus-win gnus wid-edit nnheader gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums time-date mm-util mail-prsvr mail-utils edmacro kmacro dracula-theme auto-package-update easy-mmode finder-inf dash cl-extra help-mode use-package-ensure use-package-core tramp tramp-loaddefs trampver tramp-integration tramp-compat ucs-normalize shell pcomplete comint ansi-color ring parse-time format-spec advice mule-util info package easymenu epg-config 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 tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame 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 minibuffer 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 dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 995158 269302) (symbols 48 66241 18) (strings 32 316037 17771) (string-bytes 1 9802325) (vectors 16 94279) (vector-slots 8 1961351 141790) (floats 8 681 1337) (intervals 56 8836 2355) (buffers 992 32)) From unknown Tue Jun 24 01:42:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 06 Mar 2019 19:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34771 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Tassilo Horn Cc: 34771@debbugs.gnu.org Received: via spool by 34771-submit@debbugs.gnu.org id=B34771.15518993501976 (code B ref 34771); Wed, 06 Mar 2019 19:10:02 +0000 Received: (at 34771) by debbugs.gnu.org; 6 Mar 2019 19:09:10 +0000 Received: from localhost ([127.0.0.1]:34672 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1buf-0000Vo-JN for submit@debbugs.gnu.org; Wed, 06 Mar 2019 14:09:09 -0500 Received: from eggs.gnu.org ([209.51.188.92]:57115) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1bud-0000VZ-JM for 34771@debbugs.gnu.org; Wed, 06 Mar 2019 14:09:08 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:47474) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1buY-0007XM-BM for 34771@debbugs.gnu.org; Wed, 06 Mar 2019 14:09:02 -0500 Received: from [176.228.60.248] (port=3244 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1h1buW-0004It-Tq; Wed, 06 Mar 2019 14:09:01 -0500 Date: Wed, 06 Mar 2019 21:08:54 +0200 Message-Id: <834l8fddmh.fsf@gnu.org> From: Eli Zaretskii In-reply-to: <87bm2nj3wk.fsf@gnu.org> (message from Tassilo Horn on Wed, 06 Mar 2019 18:42:19 +0100) References: <87bm2nj3wk.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > From: Tassilo Horn > Date: Wed, 06 Mar 2019 18:42:19 +0100 > > So in a conditional display spec, object should always be a buffer. (It could also be a string, although not in your case.) > However, that doesn't seem to be the reality. Sometimes, it is also a > window. > > Here's a recipe for the current master: > > $ emacs -q > > In *scratch* insert and evaluate: > > (insert (propertize "foobar" 'display > `(when (get-buffer-window object) > . ,(format "%s" (random)))) "\n") > > Now move point over the displayed random number, hit and hold C-l, or > do whatever triggers redisplay. > > Now I have this in *Messages*: > > Error during redisplay: (eval (get-buffer-window object)) signaled (wrong-type-argument stringp #) [33 times] The documentation is correct, but the code had a bug. I hope I fixed it now. Thanks. From unknown Tue Jun 24 01:42:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 07 Mar 2019 10:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34771 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Eli Zaretskii Cc: 34771@debbugs.gnu.org Received: via spool by 34771-submit@debbugs.gnu.org id=B34771.15519544892060 (code B ref 34771); Thu, 07 Mar 2019 10:29:02 +0000 Received: (at 34771) by debbugs.gnu.org; 7 Mar 2019 10:28:09 +0000 Received: from localhost ([127.0.0.1]:34967 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1qG1-0000X9-Bl for submit@debbugs.gnu.org; Thu, 07 Mar 2019 05:28:09 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34677) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1qFz-0000Wn-4e for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 05:28:07 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:60194) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1qFt-0008Lx-I8 for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 05:28:01 -0500 Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:49321) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1h1qFs-0006dG-30; Thu, 07 Mar 2019 05:28:00 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailauth.nyi.internal (Postfix) with ESMTP id 5C93B21E31; Thu, 7 Mar 2019 05:27:59 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute7.internal (MEProxy); Thu, 07 Mar 2019 05:27:59 -0500 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrfeekgddujecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufhffjgfkfgggtgesthdtredttdertdenucfhrhhomhepvfgrshhsihhl ohcujfhorhhnuceothhsughhsehgnhhurdhorhhgqeenucfkphepudefgedrudduledrvd egrdduleehnecurfgrrhgrmhepmhgrihhlfhhrohhmpehthhhorhhnodhmvghsmhhtphgr uhhthhhpvghrshhonhgrlhhithihqdekieejfeekjeekgedqieefhedvleekqdhtshguhh eppehgnhhurdhorhhgsehfrghsthhmrghilhdrfhhmnecuvehluhhsthgvrhfuihiivgep td X-ME-Proxy: Received: from jiffyarch (j289989.servers.jiffybox.net [134.119.24.195]) by mail.messagingengine.com (Postfix) with ESMTPA id 78EEAE4309; Thu, 7 Mar 2019 05:27:58 -0500 (EST) From: Tassilo Horn References: <87bm2nj3wk.fsf@gnu.org> <834l8fddmh.fsf@gnu.org> Date: Thu, 07 Mar 2019 11:27:56 +0100 In-Reply-To: <834l8fddmh.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 06 Mar 2019 21:08:54 +0200") Message-ID: <87d0n3htcj.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Eli Zaretskii writes: >> So in a conditional display spec, object should always be a buffer. > > (It could also be a string, although not in your case.) Right. >> Now I have this in *Messages*: >> >> Error during redisplay: (eval (get-buffer-window object)) signaled >> (wrong-type-argument stringp #) [33 times] > > The documentation is correct, but the code had a bug. I hope I fixed > it now. I can't tell. It seems you haven't pushed that change yet. Tassilo From unknown Tue Jun 24 01:42:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 07 Mar 2019 14:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34771 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Tassilo Horn Cc: 34771@debbugs.gnu.org Received: via spool by 34771-submit@debbugs.gnu.org id=B34771.15519706713459 (code B ref 34771); Thu, 07 Mar 2019 14:58:02 +0000 Received: (at 34771) by debbugs.gnu.org; 7 Mar 2019 14:57:51 +0000 Received: from localhost ([127.0.0.1]:35545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1uT0-0000ti-O2 for submit@debbugs.gnu.org; Thu, 07 Mar 2019 09:57:51 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39377) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1uSy-0000tV-LD for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 09:57:48 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35504) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1uSs-000809-2r for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 09:57:42 -0500 Received: from [176.228.60.248] (port=4717 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1h1uSr-0000Vi-29; Thu, 07 Mar 2019 09:57:41 -0500 Date: Thu, 07 Mar 2019 16:57:21 +0200 Message-Id: <83k1habulq.fsf@gnu.org> From: Eli Zaretskii In-reply-to: <87d0n3htcj.fsf@gnu.org> (message from Tassilo Horn on Thu, 07 Mar 2019 11:27:56 +0100) References: <87bm2nj3wk.fsf@gnu.org> <834l8fddmh.fsf@gnu.org> <87d0n3htcj.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > From: Tassilo Horn > Cc: 34771@debbugs.gnu.org > Date: Thu, 07 Mar 2019 11:27:56 +0100 > > > The documentation is correct, but the code had a bug. I hope I fixed > > it now. > > I can't tell. It seems you haven't pushed that change yet. Oops, sorry. It was a busy evening after an even busier day. (I did say "git push", but failed to notice that the push was rejected by the upstream repository.) I pushed it now, please take a look. Btw, if you need your code to work with versions of Emacs before this bugfix, you can use the following kludgey workaround: if OBJECT is a window, that stands for the current buffer. From unknown Tue Jun 24 01:42:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 07 Mar 2019 16:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34771 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Eli Zaretskii Cc: 34771@debbugs.gnu.org Received: via spool by 34771-submit@debbugs.gnu.org id=B34771.155197705013502 (code B ref 34771); Thu, 07 Mar 2019 16:45:01 +0000 Received: (at 34771) by debbugs.gnu.org; 7 Mar 2019 16:44:10 +0000 Received: from localhost ([127.0.0.1]:35590 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1w7t-0003Vf-O8 for submit@debbugs.gnu.org; Thu, 07 Mar 2019 11:44:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40315) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1w7p-0003V2-AR for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 11:44:05 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:37735) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1w7k-0008AF-4Y for 34771@debbugs.gnu.org; Thu, 07 Mar 2019 11:44:00 -0500 Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:42763) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1h1w7j-0000U7-7F; Thu, 07 Mar 2019 11:43:59 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailauth.nyi.internal (Postfix) with ESMTP id 9B6BD2208B; Thu, 7 Mar 2019 11:43:58 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Thu, 07 Mar 2019 11:43:58 -0500 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrfeekgdelhecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufhffjgfkfgggtgesthdtredttdertdenucfhrhhomhepvfgrshhsihhl ohcujfhorhhnuceothhsughhsehgnhhurdhorhhgqeenucfkphepleefrddvfeeirdduvd elrdehvdenucfrrghrrghmpehmrghilhhfrhhomhepthhhohhrnhdomhgvshhmthhprghu thhhphgvrhhsohhnrghlihhthidqkeeijeefkeejkeegqdeifeehvdelkedqthhsughhpe epghhnuhdrohhrghesfhgrshhtmhgrihhlrdhfmhenucevlhhushhtvghrufhiiigvpedt X-ME-Proxy: Received: from thinkpad-t440p (p5dec8134.dip0.t-ipconnect.de [93.236.129.52]) by mail.messagingengine.com (Postfix) with ESMTPA id E22DF10312; Thu, 7 Mar 2019 11:43:56 -0500 (EST) From: Tassilo Horn References: <87bm2nj3wk.fsf@gnu.org> <834l8fddmh.fsf@gnu.org> <87d0n3htcj.fsf@gnu.org> <83k1habulq.fsf@gnu.org> Date: Thu, 07 Mar 2019 17:43:53 +0100 In-Reply-To: <83k1habulq.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 07 Mar 2019 16:57:21 +0200") Message-ID: <875zsuws6u.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Eli Zaretskii writes: >> > The documentation is correct, but the code had a bug. I hope I >> > fixed it now. >> >> I can't tell. It seems you haven't pushed that change yet. > > Oops, sorry. It was a busy evening after an even busier day. (I did > say "git push", but failed to notice that the push was rejected by the > upstream repository.) > > I pushed it now, please take a look. Yes, it works now. > Btw, if you need your code to work with versions of Emacs before this > bugfix, you can use the following kludgey workaround: if OBJECT is a > window, that stands for the current buffer. My code has to get the window in order to get the font used to display BUFFER-POSITION so this bug had positive side-effects for my use-case. I'll let it in. Bye, Tassilo From unknown Tue Jun 24 01:42:36 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Tassilo Horn Subject: bug#34771: closed (Re: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec) Message-ID: References: <83ftrybg5a.fsf@gnu.org> <87bm2nj3wk.fsf@gnu.org> X-Gnu-PR-Message: they-closed 34771 X-Gnu-PR-Package: emacs Reply-To: 34771@debbugs.gnu.org Date: Thu, 07 Mar 2019 20:11:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1551989463-7953-1" This is a multi-part message in MIME format... ------------=_1551989463-7953-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #34771: 27.0.50; object is a window sometimes although it should be a buffe= r in conditional display spec which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 34771@debbugs.gnu.org. --=20 34771: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D34771 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1551989463-7953-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 34771-done) by debbugs.gnu.org; 7 Mar 2019 20:10:07 +0000 Received: from localhost ([127.0.0.1]:35656 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1zLD-000231-4K for submit@debbugs.gnu.org; Thu, 07 Mar 2019 15:10:07 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1zLB-00022S-Mp for 34771-done@debbugs.gnu.org; Thu, 07 Mar 2019 15:10:06 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:41690) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1zL5-00080c-On for 34771-done@debbugs.gnu.org; Thu, 07 Mar 2019 15:09:59 -0500 Received: from [176.228.60.248] (port=4358 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1h1zL2-0006Y9-W7; Thu, 07 Mar 2019 15:09:58 -0500 Date: Thu, 07 Mar 2019 22:09:37 +0200 Message-Id: <83ftrybg5a.fsf@gnu.org> From: Eli Zaretskii To: Tassilo Horn In-reply-to: <875zsuws6u.fsf@gnu.org> (message from Tassilo Horn on Thu, 07 Mar 2019 17:43:53 +0100) Subject: Re: bug#34771: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec References: <87bm2nj3wk.fsf@gnu.org> <834l8fddmh.fsf@gnu.org> <87d0n3htcj.fsf@gnu.org> <83k1habulq.fsf@gnu.org> <875zsuws6u.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34771-done Cc: 34771-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > From: Tassilo Horn > Cc: 34771@debbugs.gnu.org > Date: Thu, 07 Mar 2019 17:43:53 +0100 > > > I pushed it now, please take a look. > > Yes, it works now. OK, closing. Thanks. ------------=_1551989463-7953-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 6 Mar 2019 17:42:32 +0000 Received: from localhost ([127.0.0.1]:34639 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1aYp-0006nh-NR for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:32 -0500 Received: from eggs.gnu.org ([209.51.188.92]:40084) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h1aYn-0006nV-Qh for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:30 -0500 Received: from lists.gnu.org ([209.51.188.17]:59976) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h1aYi-0003lT-LQ for submit@debbugs.gnu.org; Wed, 06 Mar 2019 12:42:24 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54465) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1aYh-0003cv-0X for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:24 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: **** X-Spam-Status: No, score=4.1 required=5.0 tests=BAYES_50,RCVD_IN_PBL, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45972) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h1aYg-0003kM-SB for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:22 -0500 Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:48113) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1h1aYg-0007i1-Pd for bug-gnu-emacs@gnu.org; Wed, 06 Mar 2019 12:42:22 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailauth.nyi.internal (Postfix) with ESMTP id 25B1B26A48 for ; Wed, 6 Mar 2019 12:42:22 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Wed, 06 Mar 2019 12:42:22 -0500 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrfeeigdegfecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephffvufffkfgfgggtgfesthhqredttd erjeenucfhrhhomhepvfgrshhsihhlohcujfhorhhnuceothhsughhsehgnhhurdhorhhg qeenucffohhmrghinhepfhgrshhtmhgrihhlrdgtohhmnecukfhppeelfedrvdefiedrud dvledrhedvnecurfgrrhgrmhepmhgrihhlfhhrohhmpehthhhorhhnodhmvghsmhhtphgr uhhthhhpvghrshhonhgrlhhithihqdekieejfeekjeekgedqieefhedvleekqdhtshguhh eppehgnhhurdhorhhgsehfrghsthhmrghilhdrfhhmnecuvehluhhsthgvrhfuihiivgep td X-ME-Proxy: Received: from thinkpad-t440p (p5dec8134.dip0.t-ipconnect.de [93.236.129.52]) by mail.messagingengine.com (Postfix) with ESMTPA id 3CAFE10318 for ; Wed, 6 Mar 2019 12:42:21 -0500 (EST) From: Tassilo Horn To: bug-gnu-emacs@gnu.org Subject: 27.0.50; object is a window sometimes although it should be a buffer in conditional display spec Date: Wed, 06 Mar 2019 18:42:19 +0100 Message-ID: <87bm2nj3wk.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) The docs state: ,----[ (info "(elisp)Other Display Specs") ] | You can make any display specification conditional. To do that, | package it in another list of the form =E2=80=98(when CONDITION . SPEC)= =E2=80=99. Then | the specification SPEC applies only when CONDITION evaluates to a | non-=E2=80=98nil=E2=80=99 value. During the evaluation, =E2=80=98object= =E2=80=99 is bound to the string | or buffer having the conditional =E2=80=98display=E2=80=99 property. =E2= =80=98position=E2=80=99 and | =E2=80=98buffer-position=E2=80=99 are bound to the position within =E2=80= =98object=E2=80=99 and the | buffer position where the =E2=80=98display=E2=80=99 property was found, r= espectively. | Both positions can be different when =E2=80=98object=E2=80=99 is a string. `---- So in a conditional display spec, object should always be a buffer. However, that doesn't seem to be the reality. Sometimes, it is also a window. Here's a recipe for the current master: $ emacs -q In *scratch* insert and evaluate: (insert (propertize "foobar" 'display `(when (get-buffer-window object) . ,(format "%s" (random)))) "\n") Now move point over the displayed random number, hit and hold C-l, or do whatever triggers redisplay. Now I have this in *Messages*: Error during redisplay: (eval (get-buffer-window object)) signaled (wrong-t= ype-argument stringp #) [33 times] In GNU Emacs 27.0.50 (build 8, x86_64-pc-linux-gnu, GTK+ Version 3.24.5) of 2019-03-06 built on thinkpad-t440p Repository revision: 2260e48d2eeaa9ea2b9c17389cc25d00f85c414c Repository branch: master Windowing system distributor 'The X.Org Foundation', version 11.0.12004000 System Description: Arch Linux Recent messages: 20190306T182620.294> nnimap read 0k from imap.fastmail.com 20190306T182623.263> Exiting summary buffer and applying spam rules 20190306T182623.788> Expiring articles... 20190306T182624.202> Expiring articles...done 20190306T182625.333> Saving Gnus registry (9449 entries) to ~/.gnus.d/.gnus= .registry.eieio... 20190306T182626.824> Saving Gnus registry (size 9449) to ~/.gnus.d/.gnus.re= gistry.eieio...done 20190306T182626.828> Saving /home/horn/.gnus.d/.newsrc.eld... Saving file /home/horn/.gnus.d/.newsrc.eld... Wrote /home/horn/.gnus.d/.newsrc.eld 20190306T182626.864> Saving /home/horn/.gnus.d/.newsrc.eld...done Configured features: XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS GLIB NOTIFY INOTIFY ACL GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB TOOLKIT_SCROLL_BARS GTK3 X11 XDBE XIM THREADS LIBSYSTEMD JSON PDUMPER LCMS2 GMP Important settings: value of $LC_MONETARY: de_DE.utf8 value of $LC_NUMERIC: de_DE.utf8 value of $LC_TIME: de_DE.utf8 value of $LANG: en_US.utf8 value of $XMODIFIERS: @im=3Dibus locale-coding-system: utf-8-unix Major mode: Group Minor modes in effect: hl-line-mode: t cursor-sensor-mode: t gnus-topic-mode: t intero-global-mode: t global-aggressive-indent-mode: t pdf-occur-global-minor-mode: t recentf-mode: t which-key-mode: t beacon-mode: t global-company-mode: t global-magit-file-mode: t magit-auto-revert-mode: t global-git-commit-mode: t async-bytecomp-package-mode: t override-global-mode: t minibuffer-depth-indicate-mode: t electric-pair-mode: t global-subword-mode: t subword-mode: t save-place-mode: t savehist-mode: t show-paren-mode: t gnus-undo-mode: t shell-dirtrack-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t global-prettify-symbols-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 column-number-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort gnus-cite emacsbug qp gnus-async gnus-ml hl-line cursor-sensor nndraft nnmh rot13 utf-7 gnutls network-stream nnml nnnil gnus-agent gnus-srvr gnus-score score-mode nnvirtual gnus-cache gnus-demon nntp spam spam-stat gnus-uu yenc gnus-msg gnus-gravatar mail-extr gravatar url-cache gnus-topic gnus-registry registry eieio-base th-private debug misearch multi-isearch descr-text help-fns radix-tree cl-print backtrace ace-window avy find-dired grep visual-file-name-abbrev company-oddmuse company-keywords company-etags company-gtags company-dabbrev-code company-dabbrev company-files company-capf company-cmake company-xcode company-clang company-semantic company-eclim company-template company-bbdb highlight-symbol org-rmail org-mhe org-irc org-info org-gnus nnir org-docview doc-view org-bibtex bibtex org-bbdb org-w3m paredit bug-reference generic fish-mode cargo cargo-process markdown-mode rust-mode idris-mode idris-commands idris-hole-list idris-ipkg-mode idris-tree-info idris-warnings-tree idris-info idris-repl idris-highlight-input idris-prover inferior-idris idris-warnings idris-log idris-events idris-simple-indent idris-syntax idris-common-utils idris-settings idris-keys idris-core idris-compat prop-menu intero flycheck hindent haskell-mode haskell-cabal haskell-utils haskell-font-lock haskell-indentation haskell-string haskell-sort-imports haskell-lexeme haskell-align-imports haskell-compat haskell-complete-module haskell-ghc-support flymake-proc flymake thingatpt etags fileloop xref project dabbrev haskell-customize web-mode disp-table preview-latex auto-loads tex-site aggressive-indent rainbow-mode color vc-git vc-dir ewoc vc vc-dispatcher epa-file org-element avl-tree generator org org-macro org-footnote org-pcomplete org-list org-faces org-entities org-version ob-emacs-lisp ob ob-tangle org-src ob-ref ob-lob ob-table ob-keys ob-exp ob-comint ob-core ob-eval org-compat org-macs org-loaddefs cal-menu calendar cal-loaddefs dired-x boxquote rect smtpmail-multi smtpmail sendmail ecomplete yasnippet auto-dictionary flyspell ispell pdf-occur ibuf-ext ibuffer ibuffer-loaddefs tablist tablist-filter semantic/wisent/comp semantic/wisent semantic/wisent/wisent semantic/util-modes semantic/util semantic semantic/tag semantic/lex semantic/fw mode-local find-func cedet pdf-isearch let-alist pdf-misc pdf-tools compile cus-edit cus-start cus-load pdf-view magit-bookmark bookmark pp jka-compr pdf-cache pdf-info tq pdf-util image-mode recentf tree-widget which-key moody beacon highlight-parentheses cl company-restclient know-your-http-well http-status-codes http-relations http-methods http-headers company pcase restclient noutline outline magit-submodule magit-obsolete magit-blame magit-stash magit-bisect magit-push magit-pull magit-fetch magit-clone magit-remote magit-commit magit-sequence magit-notes magit-worktree magit-tag magit-merge magit-branch magit-reset magit-files magit-refs magit-status magit magit-repos magit-apply magit-wip magit-log which-func imenu magit-diff smerge-mode diff-mode magit-core magit-autorevert autorevert filenotify magit-margin magit-transient magit-process magit-mode transient git-commit magit-git magit-section magit-utils crm log-edit pcvs-util add-log with-editor async-bytecomp async server debbugs soap-client url-http url-auth url-gw nsm url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util warnings rng-xsd rng-dt rng-util xsd-regexp xml use-package-bind-key bind-key mb-depth rx bs windmove elec-pair cap-words superword subword saveplace savehist paren smiley gnus-art mm-uu mml2015 mm-view mml-smime smime dig mailcap gnus-sum gnus-group gnus-undo gnus-start gnus-cloud nnimap nnmail mail-source utf7 netrc nnoo gnus-spec gnus-int gnus-range message rmc puny dired dired-loaddefs rfc822 mml mml-sec epa derived epg mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader gnus-win gnus wid-edit nnheader gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums time-date mm-util mail-prsvr mail-utils edmacro kmacro dracula-theme auto-package-update easy-mmode finder-inf dash cl-extra help-mode use-package-ensure use-package-core tramp tramp-loaddefs trampver tramp-integration tramp-compat ucs-normalize shell pcomplete comint ansi-color ring parse-time format-spec advice mule-util info package easymenu epg-config 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 tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame 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 minibuffer 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 dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 995158 269302) (symbols 48 66241 18) (strings 32 316037 17771) (string-bytes 1 9802325) (vectors 16 94279) (vector-slots 8 1961351 141790) (floats 8 681 1337) (intervals 56 8836 2355) (buffers 992 32)) ------------=_1551989463-7953-1--