On Tuesday 20 February 2018 13.31:28 E. Liddell wrote:
> Ah, okay, I begin to see the problem.  At the time the website and various
> wiki and Bugzilla skins were created, HiDPI screens weren't available
> except on a few very expensive Macbooks, so there *was* an implicit
> assumption of ~96 DPI (and that's still the only type of screen I have to
> test on).
>
> I'll try to scrape together enough round tuits to re-examine the design,
> but making changes live will probably require Tim to do the final upload,
> so between the two of us, it may be rather a long time before results are
> visible.
>
> E. Liddell

That's a problem TDE will have to address too, globaly. I've had a (short) 
encounter with an HiDPI screen (which is another example of basic stupidity, 
as HiDPI may be nice for video, maybe gaming, but is totaly useless for work) 
and TDE was really a pain, because it was designed in a time where such 
resolutions did not exist and is bitmap based.

Windows 10 adapts well, even Gnome 3 can more or less cope with it.

So I's say either we provide good bitmaps for HiDPI (I'd be happy to help 
there), or we turn to scalable elements (seems quite a rewrite), or in the 
end TDE disappears, because new laptops all come with HiDPI, even cheap 
chinese ones.

Why is another question - the screen in front of me is a 27" ,  1920x1080 one 
and I can't see any reason for changing it.

Thierry