[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: Ab
From: |
tumashu |
Subject: |
Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix) |
Date: |
Thu, 11 Nov 2021 08:15:21 +0800 (CST) |
At 2021-11-10 21:54:21, "Eli Zaretskii" <eliz@gnu.org> wrote:
>> Date: Wed, 10 Nov 2021 17:49:04 +0800 (CST)
>> From: tumashu <tumashu@163.com>
>> Cc: "emacs-devel@gnu.org" <emacs-devel@gnu.org>
>>
>> -*** New user option 'xwidget-webkit-buffer-name-prefix'.
>> +*** New user option 'xwidget-webkit-buffer-name-format'.
>> This allows the user to change the webkit buffer names.
>
> Using this option you can control how the xwidget-webkit buffers are
> named.
changed.
>
>> +(defcustom xwidget-webkit-buffer-name-format "*xwidget-webkit: %T*"
>> + "Buffer name format used by `xwidget-webkit' buffers.
>
> Template for naming `xwidget-webkit' buffers.
> It can use the following special constructs:
>
> %T -- the title of the Web page loaded by the xwidget.
changed.
>
>> + (rename-buffer
>> + (format-spec
>> + xwidget-webkit-buffer-name-format
>> + `((?T . ,title)))
>> + t)))))
>
>Hmmm... does this mean that the format spec _must_ contain %T?
>Because otherwise all the buffers will have the same name, no?
>Which would mean this change introduces a regression wrt how this
>worked previously, right?
I have tested without %T, it will like *xwidget-webkit:*<2>
,*xwidget-webkit:*<3> ...
so I think some user will like this and set without %T.
0001-xwidget-Add-xwidget-webkit-buffer-name-format.patch
Description: Binary data
- Re: About rename xwidget-webkit-buffer-name-prefix, (continued)
- Re: About rename xwidget-webkit-buffer-name-prefix, Po Lu, 2021/11/10
- [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Eli Zaretskii, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix),
tumashu <=
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Eli Zaretskii, 2021/11/11
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/11