On Sun, May 07, 2017 at 07:12:44PM -0400, Thomas Dickey wrote: > ----- Original Message ----- > | From: "Vincent Lefevre" <[email protected]> > | To: "Thomas Dickey" <[email protected]> > | Cc: [email protected] > | 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 <[email protected]>
https://invisible-island.net
ftp://ftp.invisible-island.net
signature.asc
Description: Digital signature
