Re: [PATCH resent] Option to use DPI calculated from EDID

2016-01-04 Thread Michal Suchanek
Hello, On 4 January 2016 at 00:26, Guillem Jover wrote: > Hi! > > On Mon, 2011-10-31 at 13:16:21 +0100, Michal Suchanek wrote: >> It adds back functionality lost a few years ago which makes X >> needlessly hard to use on devices that report correct DPI and aren't >> 96 DPI

Re: [PATCH resent] Option to use DPI calculated from EDID

2016-01-03 Thread Guillem Jover
Hi! On Mon, 2011-10-31 at 13:16:21 +0100, Michal Suchanek wrote: > It adds back functionality lost a few years ago which makes X > needlessly hard to use on devices that report correct DPI and aren't > 96 DPI which is the value unconditionally set since commit fff00d This affected me recently

[PATCH resent] Option to use DPI calculated from EDID

2011-10-31 Thread Michal Suchanek
Hello, anybody can look at this patch? It adds back functionality lost a few years ago which makes X needlessly hard to use on devices that report correct DPI and aren't 96 DPI which is the value unconditionally set since commit fff00d Thanks Michal 0001-Add-option-to-set-default-DPI.patch