On Wed, 19 Jun 2019 14:19:52 +0100 Peter Flynn said:
> On 18/06/2019 08:29, Carsten Haitzler (The Rasterman) wrote:
> > On Mon, 17 Jun 2019 22:27:46 +0100 Peter Flynn said:
> [...]
> >> Thank you. Unfortunately that doesn't cover my immediate problem, which
> >> is that my new machine has a
On 18/06/2019 08:29, Carsten Haitzler (The Rasterman) wrote:
> On Mon, 17 Jun 2019 22:27:46 +0100 Peter Flynn said:
[...]
>> Thank you. Unfortunately that doesn't cover my immediate problem, which
>> is that my new machine has a very high-resolution screen, so normal
>> application windows are
