[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix) |
Date: |
Wed, 10 Nov 2021 15:54:21 +0200 |
> 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.
> +(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.
> + (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?
- About rename xwidget-webkit-buffer-name-prefix, tumashu, 2021/11/09
- Re: About rename xwidget-webkit-buffer-name-prefix, Po Lu, 2021/11/09
- 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 <=
- 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, 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/11
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/11