[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "
From: |
Drew Adams |
Subject: |
bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters |
Date: |
Thu, 9 May 2019 07:17:53 -0700 (PDT) |
> > (Perhaps those clients could be migrated to a new face,
> > e.g. 'message-prompt', which would inherit 'minibuffer-prompt' by
> > default?)
>
> Simply 'prompt' would be more intuitive since most messages do not show
> prompts.
Sounds OK to me.
> But I'm afraid we'll have to stick to what we have now.
Why? Not sure what you mean.
> Note that this isssue also touches one Drew raised elsewhere - whether
> 'tooltip-show' should retain face properties of the original text or
> show text uniformly with the 'tooltip' face. Maybe we should
> introduce an option like 'prompts-retain-text-properites' so users
> have the choice.
I would prefer that the two be separated. Tooltip text
is quite different from prompts in use cases and behavior.
Wrt tooltips, I also don't see why we need an option, or
even a defvar. Tooltips should just accept and respect
propertized strings.
When you use `x-show-tip' there is no such problem - you
can apply properties as usual. It is only `help-echo'
tooltips that do not respect properties (AFAIK).
Another, simpler possibility, for dealing with face
`tooltip':
It is not possible to simply _bind_ a face for the
duration (or lex scope) of a function. But if we
use a face variable for this, e.g. `tooltip-face',
then it should be simple to do so.
IOW, work around the limitation that you cannot bind
a face by binding a face variable and using that for
`help-echo'. That should make it simple for any code
to control the appearance of the tooltip text.
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Kévin Le Gouguec, 2019/05/04
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, martin rudalics, 2019/05/05
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Kévin Le Gouguec, 2019/05/06
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, martin rudalics, 2019/05/07
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Drew Adams, 2019/05/07
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Kévin Le Gouguec, 2019/05/08
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Drew Adams, 2019/05/08
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, martin rudalics, 2019/05/09
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters,
Drew Adams <=
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, martin rudalics, 2019/05/09
- bug#35564: 27.0.50; [PATCH] Tweak dired-do-shell-command warning about "wildcard" characters, Drew Adams, 2019/05/09