Hi-DPI patches for 4.2

[Khaled Hosny]

On Tue, Mar 11, 2014 at 10:33:13AM +0100, Stefan Knorr wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Hi all,
> 
> On 10/03/14 22:51, Keith Curtis wrote:
> > Doubling bitmaps is a "hack" but since bigger bitmaps don't exist, it
> > is better than doing nothing. I haven't looked into the low-level
> > resource loading code, but there are very probably VCL changes
> > required once those new bitmaps are created. Once that happens, then
> > the doubling code can be removed, but only at the end, and it might be
> > a while given how many bitmaps exist in all the icon packs out there.
> 
> Just fyi, that is https://bugs.freedesktop.org/show_bug.cgi?id=51733 .
> Proposals by developers on how to add pixel-doubled bitmaps to existing
> themes/create new pixel-doubled themes welcome.
> Also, as long as we ship all those themes that nobody can really do much
> about  without completely recreating them (Galaxy e.g.), the
> pixel-doubling code would need to stay.

If we are scaling anyway, we can just create faux hi-dpi themes by
scaling existing icons and simplify the code, they can later be replaced
with real hi-dpi icons if they are made available without any code
change (it might even be a good idea to do it now, if one is interested
in adding a code to automatically select hi-dpi icon themes and not wait
until one is available).

Regards,
Khaled