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

To: Vincent Lefevre <vincent@vinc17.net>
Cc: debian-x@lists.debian.org
Subject: Processed: Re: Bug#793295: xterm: Menu font is too small on high-dpi screen
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 11 Aug 2015 15:15:07 +0000
Message-id: <[🔎] handler.s.B793295.143930594816683.transcript@bugs.debian.org>
References: <[🔎] 20150811151225.GB2586@zira.vinc17.org> <20150722143222.GA1865@zira.vinc17.org>

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://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793295
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#793295: xterm: Menu font is too small on high-dpi screen
  - From: Vincent Lefevre <vincent@vinc17.net>

Prev by Date: Bug#793295: xterm: Menu font is too small on high-dpi screen
Next by Date: Bug#793295: xterm: Menu font is too small on high-dpi screen
Previous by thread: Bug#793295: xterm: Menu font is too small on high-dpi screen
Next by thread: Processed: re: 793295
Index(es):
- Date
- Thread