gtk3 and hidpi status ?

[Caolán McNamara]

There was a commit (2a19bb85cbe83aa031871a3689b9ff03629da548) last year
wrt to hidpi and gtk3. I assume that hidpi isn't just working correctly
right out of the box, right ? Do you know what we should be doing here
?

.