[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re:Re: About rename xwidget-webkit-buffer-name-prefix
From: |
tumashu |
Subject: |
Re:Re: About rename xwidget-webkit-buffer-name-prefix |
Date: |
Wed, 10 Nov 2021 14:46:27 +0800 (CST) |
--
发自我的网易邮箱手机智能版
<br/><br/><br/>
----- Original Message -----
From: "Po Lu" <luangruo@yahoo.com>
To: tumashu <tumashu@163.com>
Cc: "emacs-devel@gnu.org" <emacs-devel@gnu.org>
Sent: Wed, 10 Nov 2021 14:33:20 +0800
Subject: Re: About rename xwidget-webkit-buffer-name-prefix
tumashu <tumashu@163.com> writes:
> Hi:
>
> xwidget-webkit-buffer-name-prefix only use the below code now:
> what about rename this variable to xwidget-webkit-buffer-name-format and set
> vaule to "*xwidget-webkit: %s*"? i
>
>
> (with-current-buffer (xwidget-buffer xwidget)
> (setq xwidget-webkit--title title)
> (force-mode-line-update)
> (xwidget-log "webkit finished loading: %s" title)
> ;; Do not adjust webkit size to window here, the
> ;; selected window can be the mini-buffer window
> ;; unwantedly.
> (rename-buffer (concat xwidget-webkit-buffer-name-prefix
> title "*")
>
> t)))))
Could you send a patch that makes these changes
no patch at moment, :) do we only support title? xwidget-webkit-buffer-name-function or
xwidget-webkit-buffer-name-format, which one is better?
- 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
- Re:Re: About rename xwidget-webkit-buffer-name-prefix,
tumashu <=
- [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, 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