unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
From: Lars Ingebrigtsen <larsi@gnus.org>
To: "積丹尼 Dan Jacobson" <jidanni@jidanni.org>
Cc: 43376@debbugs.gnu.org
Subject: bug#43376: A more aware "compilation process is running; kill it? (yes or no) "
Date: Sun, 13 Sep 2020 19:14:17 +0200	[thread overview]
Message-ID: <87o8m9ha52.fsf@gnus.org> (raw)
In-Reply-To: <87k0wxvm94.5.fsf@jidanni.org> ("積丹尼 Dan Jacobson"'s message of "Sun, 13 Sep 2020 21:28:55 +0800")

積丹尼 Dan Jacobson <jidanni@jidanni.org> writes:

> When one is looking at the prompt
> "A compilation process is running; kill it? (yes or no) "
> but then the compilation finishes,
> wouldn't it be great if the prompt realized that fact and changed itself?

Perhaps...  but if it changes just when you're about to type "yes", then
you'll end up typing "yes" into some random buffer, which isn't nice.

I this the UI should avoid, as far as possible, pulling the rug out from
under the user.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no





  reply	other threads:[~2020-09-13 17:14 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-09-13 13:28 bug#43376: A more aware "compilation process is running; kill it? (yes or no) " 積丹尼 Dan Jacobson
2020-09-13 17:14 ` Lars Ingebrigtsen [this message]
2020-09-14 12:29   ` 積丹尼 Dan Jacobson
2020-09-14 12:30     ` Lars Ingebrigtsen

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

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87o8m9ha52.fsf@gnus.org \
    --to=larsi@gnus.org \
    --cc=43376@debbugs.gnu.org \
    --cc=jidanni@jidanni.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 public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).