On 2017-05-07 16:29:35 -0400, Thomas Dickey wrote: > ----- Original Message ----- > | From: "Vincent Lefevre" <vinc...@vinc17.net> > | To: "Debian Bug Tracking System" <sub...@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 <vinc...@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)
