From: "Clément Pit--Claudel" <clement.pit@gmail.com>
To: 24153@debbugs.gnu.org
Subject: bug#24153: 25.1; Feature request: per-buffer cursor-color variable
Date: Fri, 5 Aug 2016 22:10:07 -0400 [thread overview]
Message-ID: <4a9de755-fa6e-4e33-17ba-ac412dfb1023@gmail.com> (raw)
In-Reply-To: <CAFCzHYae0+QPiidAqwf8hkbJBsZGjGrwP9ozXZnMkf0TpwwE9w@mail.gmail.com>
[-- Attachment #1.1: Type: text/plain, Size: 596 bytes --]
On 2016-08-04 22:17, Tej Chajed wrote:
>>> Perhaps using ‘buffer-list-update-hook’ instead of advising
>>> `select-window' would help?
>
> I haven't fully debugged this alternative, but it doesn't seem to
> work. company-coq still uses save-window-excursion in
> company-coq-ask-prover, which triggers the buffer-list-update-hook.
IIRC I added this save-window-excursion call to work a Proof General issue, back when I didn't know much about PG. Now that I have commit rights there, I could probably move the fix upstream and remove the save-window-excursion call.
Clément.
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]
next prev parent reply other threads:[~2016-08-06 2:10 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-04 15:08 bug#24153: 25.1; Feature request: per-buffer cursor-color variable Tej Chajed
2016-08-04 17:13 ` Eli Zaretskii
2016-08-05 1:21 ` npostavs
2016-08-05 2:17 ` Tej Chajed
2016-08-05 16:37 ` martin rudalics
2016-08-06 2:10 ` Clément Pit--Claudel [this message]
2016-08-05 2:49 ` Clément Pit--Claudel
2016-08-05 16:37 ` martin rudalics
2016-08-06 1:59 ` Clément Pit--Claudel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4a9de755-fa6e-4e33-17ba-ac412dfb1023@gmail.com \
--to=clement.pit@gmail.com \
--cc=24153@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.