[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: icon-title-format vs. frame-title-format (Bug#61496)
From: |
Tobias Bading |
Subject: |
Re: icon-title-format vs. frame-title-format (Bug#61496) |
Date: |
Thu, 4 May 2023 06:46:21 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.9.0 |
On 04.05.23 06:38, Po Lu wrote:
> So let's please not use the term "minimize". Thanks.
With another not-my-first-language warning, how about this?
diff --git a/src/xdisp.c b/src/xdisp.c
index 4384754439..737c629286 100644
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -36613,7 +36613,9 @@ syms_of_xdisp (void)
This variable has the same structure as `mode-line-format', except that
the %c, %C, and %l constructs are ignored. It is used only on frames for
-which no explicit name has been set (see `modify-frame-parameters'). */);
+which no explicit name has been set (see `modify-frame-parameters').
+
+A similar template for iconified frames may be defined by icon-title-format.
*/);
DEFVAR_LISP ("icon-title-format", Vicon_title_format,
doc: /* Template for displaying the title bar of an iconified frame.
- icon-title-format vs. frame-title-format (Bug#61496), Tobias Bading, 2023/05/03
- Re: icon-title-format vs. frame-title-format (Bug#61496), Eli Zaretskii, 2023/05/03
- Re: icon-title-format vs. frame-title-format (Bug#61496), Po Lu, 2023/05/03
- Re: icon-title-format vs. frame-title-format (Bug#61496), Tobias Bading, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Óscar Fuentes, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Eli Zaretskii, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Óscar Fuentes, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Eli Zaretskii, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Po Lu, 2023/05/04
- Re: icon-title-format vs. frame-title-format (Bug#61496), Óscar Fuentes, 2023/05/05
- Re: icon-title-format vs. frame-title-format (Bug#61496), tomas, 2023/05/05
- Re: icon-title-format vs. frame-title-format (Bug#61496), Eli Zaretskii, 2023/05/05
- Re: icon-title-format vs. frame-title-format (Bug#61496), tomas, 2023/05/05