Bug#862042: xterm: if the faceName resource is defined, the -fn (-font) option is ignored
On 2017-05-07 16:29:35 -0400, Thomas Dickey wrote:
> ----- Original Message -----
> | From: "Vincent Lefevre" <vincent@vinc17.net>
> | To: "Debian Bug Tracking System" <submit@bugs.debian.org>
> | Sent: Sunday, May 7, 2017 1:23:00 PM
> | Subject: Bug#862042: xterm: if the faceName resource is defined, the -fn (-font) option is ignored
> |
> | Package: xterm
> | Version: 327-2
> | Severity: minor
> |
> | If I define the faceName resource, e.g. with
> |
> | XTerm*faceName: Monospace
> |
> | in the .Xresources file (read by xrdb), then the -fn (-font) option
> | is ignored. For instance,
> |
> | xterm -fn 7x13
> |
> | has no effect. Options normally override the default resources, but
> | this is not the case here. And the observed behavior is not
> | documented.
>
> last paragraph in this section:
>
> http://invisible-island.net/xterm/manpage/xterm.html#VT100-Widget-Resources:faceSize
>
> (it's been there quite a while, and won't be changed)
Sorry, but I don't understand. In particular, this does not
explain the behavior when none of faceSize resources are set.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: