Processed: Re: Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-08-11 Thread Debian Bug Tracking System
Processing control commands: > retitle -1 XtDefaultFont is too small on HiDPI screens Bug #793295 [libxt6] xterm: Menu font is too small on high-dpi screen Changed Bug title to 'XtDefaultFont is too small on HiDPI screens' from 'xterm: Menu font is too small on high-dpi screen' -- 793295: http:

Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-08-11 Thread Vincent Lefevre
Control: reassign -1 libxt6 On 2015-08-10 19:01:11 -0400, Thomas Dickey wrote: > menus are done by libxaw7 (will reassign). Let's go further: after testing with xman (another program based on libxaw7), I've noticed that other libxaw7 objects are affected and even more. Everything solved by settin

Processed: Re: Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-08-11 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 libxt6 Bug #793295 [libxaw7] xterm: Menu font is too small on high-dpi screen Bug reassigned from package 'libxaw7' to 'libxt6'. Ignoring request to alter found versions of bug #793295 to the same values previously set Ignoring request to alter fixed ver

Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-08-11 Thread Vincent Lefevre
Control: retitle -1 XtDefaultFont is too small on HiDPI screens On 2015-08-11 17:10:46 +0200, Vincent Lefevre wrote: > Let's go further: after testing with xman (another program based on > libxaw7), I've noticed that other libxaw7 objects are affected and > even more. Everything solved by setting

Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-08-10 Thread Thomas Dickey
On Wed, Jul 22, 2015 at 04:32:22PM +0200, Vincent Lefevre wrote: > 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 xt

Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-07-22 Thread Vincent Lefevre
On 2015-07-22 16:32:22 +0200, Vincent Lefevre wrote: > *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 -adob

Bug#793295: xterm: Menu font is too small on high-dpi screen

2015-07-22 Thread Vincent Lefevre
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