On Sun, May 07, 2017 at 07:12:44PM -0400, Thomas Dickey wrote:
> ----- Original Message -----
> | From: "Vincent Lefevre" <vincent@vinc17.net>
> | To: "Thomas Dickey" <dickey@his.com>
> | Cc: 862042@bugs.debian.org
> | Sent: Sunday, May 7, 2017 6:10:47 PM
> | Subject: Bug#862042: xterm: if the faceName resource is defined, the -fn (-font) option is ignored
> |
> | On 2017-05-07 17:24:43 -0400, Thomas Dickey wrote:
> | > Perhaps you'll see it here:
> | >
> | > http://invisible-island.net/xterm/manpage/xterm.html#VT100-Widget-Resources:renderFont
> | >
> | > Most of xterm's options work by setting resource values (there are
> | > a
> | > handful of special cases such as "-help", "-version" which do not).
> | > I can clarify the manual, but there's no reason to change the
> | > program logic (in this bug, anyway).
> |
> | The behavior is not what is described in this section. I would agree
> | if renderFont were "true". But the manual says:
> |
> | The default is "default".
> |
> | (and I haven't changed it). For "default":
> |
> | startup using the normal (bitmap) font, but enable the
> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> | "TrueType Fonts" menu entry to allow runtime switching
> | to/from TrueType fonts.
> |
> | If there is no faceName resource set, then runtime
> | switching to TrueType fonts is disabled. Xterm has a
> | separate compiled-in value for faceName for the special
> | case where renderFont is "default". That is normally
> | "mono".
> |
> | So, according to the manual, I should get the bitmap font.
no - your report states that you set the value using xrdb.
> I'll take a closer look, to see where the disagreement lies.
Having done that, I can see that there's no need to change the manual.
The point which was not mentioned was addressed in patch #301 (2014):
· Xterm cannot tell easily whether a resource value was set by one of
the external resource- or application-defaults files, or if it was
set through the -xrm option or via some directly relevant command-
line option. Xterm sees only the end-result: a value supplied when
creating its widgets.
I've added "xrdb" to the sentence, just as a reminder that there's no
difference in behavior no matter where the resource was set.
--
Thomas E. Dickey <dickey@invisible-island.net>
https://invisible-island.net
ftp://ftp.invisible-island.net
Attachment:
signature.asc
Description: Digital signature