[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mouse-face and help echo support for xterm mouse
From: |
Jared Finder |
Subject: |
Re: mouse-face and help echo support for xterm mouse |
Date: |
Thu, 05 Nov 2020 21:23:26 -0800 |
User-agent: |
Roundcube Webmail/1.3.15 |
All points addressed. New patch attached.
I also attached a fix for mode-line-highlight that I noticed from this.
-- MJF
0001-Face-changing-text-properties-and-help-echo-now-work.patch
Description: Text Data
0002-lisp-faces.el-mode-line-highlight-Use-box-only-on-no.patch
Description: Text Data
- Re: mouse-face and help echo support for xterm mouse, (continued)
- Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/04
- Re: mouse-face and help echo support for xterm mouse, Stefan Monnier, 2020/11/04
- Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/04
- Re: mouse-face and help echo support for xterm mouse, Stefan Monnier, 2020/11/04
- Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/04
- Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/04
Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/05
- Re: mouse-face and help echo support for xterm mouse, Stefan Monnier, 2020/11/05
- Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/05
- Re: mouse-face and help echo support for xterm mouse, Stefan Monnier, 2020/11/05
- Re: mouse-face and help echo support for xterm mouse,
Jared Finder <=
- Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/06
- Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/06
- Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/06
- Re: mouse-face and help echo support for xterm mouse, Jared Finder, 2020/11/06
- Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/14
Re: mouse-face and help echo support for xterm mouse, Eli Zaretskii, 2020/11/14