Re: "Fix" sag scaling for hidpi

[Robert Pluim]

>>>>> On Wed, 10 Feb 2021 18:52:09 +0000, "Basil L. Contovounesios" 
>>>>> <contovob@tcd.ie> said:
    >> Eli, Lars, when can we realistically envisage deprecating lucid
    >> support? Followed a release later by the current gtk support.

    Basil> I thought you'd never ask!  Who needs a GUI anyway.

Levity aside, I do think it would be better to have *one* Gui toolkit
per platform. On Gnu/Linux we currently have 3.

Robert