[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37826: Very annoying autoraise client/server behavior with -t option
From: |
Eli Zaretskii |
Subject: |
bug#37826: Very annoying autoraise client/server behavior with -t option |
Date: |
Mon, 21 Oct 2019 20:13:55 +0300 |
> From: Juanma Barranquero <lekktu@gmail.com>
> Date: Mon, 21 Oct 2019 19:02:42 +0200
> Cc: carlosjosepita@gmail.com, 37826@debbugs.gnu.org
>
> diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi
> index 82d9f1db61..7ea582d012 100644
> --- a/doc/lispref/display.texi
> +++ b/doc/lispref/display.texi
> @@ -870,6 +870,12 @@ Delayed Warnings
> @code{delayed-warnings-list} to @code{nil}.
> @end defvar
>
> +@defun delay-warning type message &optional level buffer-name
> +This function is the delayed counterpart to @code{display-warning},
> +and it is called with the same arguments. The warning message is
> +queued into @code{delayed-warnings-list}.
> +@end defun
> +
> @node Invisible Text
> @section Invisible Text
Thanks. I think this should go before the description of
delayed-warnings-list, and the text at the beginning of the section
should be modifies to mention this function as another alternative to
queue warnings for delayed display.
- bug#37826: Very annoying autoraise client/server behavior with -t option, (continued)
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Juanma Barranquero, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Juanma Barranquero, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option,
Eli Zaretskii <=
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/21
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/26
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/26
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/26
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/26
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/27
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/27
- bug#37826: Very annoying autoraise client/server behavior with -t option, Eli Zaretskii, 2019/10/27
- bug#37826: Very annoying autoraise client/server behavior with -t option, Carlos Pita, 2019/10/27