Package: xterm
Version: 318-2
Severity: normal

The Xterm menu font (menus obtained with Ctrl-click) is too small on
high-dpi screen, and there's nothing in the documentation saying how
to configure it (neither in the xterm(1) man page, nor in the FAQ).

In particular, it doesn't honor the Xft dpi value.

I've tried a suggestion similar to

  
http://askubuntu.com/questions/283830/how-to-change-the-font-of-various-terminal-emulators

more precisely,

*font: xft:DejaVu\ Sans:Regular:size=10

in my .app-defaults/XTerm file, but I get an error:

Warning: Cannot convert string "xft:DejaVu Sans:Regular:size=10" to type 
FontStruct

Ditto with just:

*font: DejaVu Sans 10

What needs to be done:
  * The Xft dpi value should probably be honored by default (that's
    how I got the menu font scaled in various applications).
  * Documentation.

Note: this is just for the menus, *not* for the terminal fonts (which
can be configured without any problem with faceName and faceSize).

-- System Information:
Debian Release: stretch/sid
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'unstable'), (500, 'testing'), 
(500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.16.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages xterm depends on:
ii  libc6           2.19-19
ii  libfontconfig1  2.11.0-6.3
ii  libice6         2:1.0.9-1+b1
ii  libtinfo5       5.9+20150516-2
ii  libutempter0    1.1.6-1
ii  libx11-6        2:1.6.3-1
ii  libxaw7         2:1.0.12-2+b1
ii  libxft2         2.3.2-1
ii  libxmu6         2:1.1.2-1
ii  libxpm4         1:3.5.11-1+b1
ii  libxt6          1:1.1.4-1+b1
ii  xbitmaps        1.1.1-2

Versions of packages xterm recommends:
ii  x11-utils  7.7+3

Versions of packages xterm suggests:
pn  xfonts-cyrillic  <none>

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-x-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/20150722143222.ga1...@zira.vinc17.org

Reply via email to