bug#37689: Fringe pixmaps, widgets, etc. look ridiculously tiny in hidpi screen

[Robert Pluim]

>>>>> On Thu, 10 Oct 2019 10:36:26 -0300, Carlos Pita 
>>>>> <carlosjosepita@gmail.com> said:

    Carlos> Hi Eli,
    >> Please go ahead with making such an inventory, and thanks.

    Carlos> I've attached some cases. In general, this seems to be related to
    Carlos> hardcoded pixmaps. One option is to support at lease 1x, 1.5x and 2x
    Carlos> version, using the one that best accommodates to current resolution
    Carlos> (1.5x screens 1920x1080 are quite popular these days). Another 
options
    Carlos> is to patch the underlying renderer of these pixmaps so that it 
scales
    Carlos> them although I don't know if there is one single place to patch 
here.

Perhaps we should convert those pixmaps to some scaleable format, and
then autoscale them?

Robert