On Wed, Aug 07, 2019 at 07:00:23AM +0100, Olly Betts wrote: > On Wed, Aug 07, 2019 at 06:14:45AM +0100, Olly Betts wrote: > > On Wed, Aug 07, 2019 at 06:04:58AM +0100, Olly Betts wrote: > > > I don't have a hidpi display and don't know if it's possible to simulate > > > one. I don't run Gnome either... > > > > Aha, I see in https://trac.wxwidgets.org/ticket/17391 that one can > > simulate with e.g. GDK_SCALE=2 in the environment. > > Which makes me wonder - can one explicitly set GDK_SCALE=1 to workaround > the problem when using a hidpi display? Presumably that results in any > non-OpenGL content in the window being smaller than ideal, but probably > it's like that anyway if one sticks with GTK2.
Indeed, that works. And yes, other stuff gets tiny (e.g. buttons and their icons), but this issue is (still but) less painful than the other… > Cheers, > Olly -- tobi
