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:04 +0000
Message-id: <[🔎] handler.s.B793295.143930585016424.transcript@bugs.debian.org>
References: <[🔎] 20150811151046.GA29351@zira.vinc17.org> <20150722143222.GA1865@zira.vinc17.org>

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 versions of bug #793295 to the same values previously set

-- 
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: xorg-server: Changes to 'debian-unstable'
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: Bug#793295: xterm: Menu font is too small on high-dpi screen
Index(es):
- Date
- Thread