Re: [e-users] Size of characters

2018-07-24 Thread The Rasterman
On Wed, 25 Jul 2018 00:26:03 +0100 Peter Flynn said: > On 24/07/18 05:06, Carsten Haitzler (The Rasterman) wrote: > > On Mon, 23 Jul 2018 20:31:16 +0100 Peter Flynn said: > > > >> On 23/07/18 07:44, Pierre Couderc wrote: > >>> I have many problems with "big" screens (in pixels 1920x1080). > >>

Re: [e-users] Size of characters

2018-07-24 Thread Drew
"App authors have got to*want* to do the right thing: at the moment they are largely unaware of the problem." > ///Peter After all these years they remain unaware of the problem? Like other issues where window managers, browsers and websites appear to be unable to communicate with each othe

Re: [e-users] Size of characters

2018-07-24 Thread Peter Flynn
On 24/07/18 05:06, Carsten Haitzler (The Rasterman) wrote: > On Mon, 23 Jul 2018 20:31:16 +0100 Peter Flynn said: > >> On 23/07/18 07:44, Pierre Couderc wrote: >>> I have many problems with "big" screens (in pixels 1920x1080). >>> Characters are very small. It is easy to change this in e itself

Re: [e-users] Size of characters

2018-07-24 Thread Pierre Couderc
On 07/24/2018 05:11 PM, Carsten Haitzler wrote: On Tue, 24 Jul 2018 11:43:06 +0200 Pierre Couderc said: On 07/24/2018 11:26 AM, Carsten Haitzler (The Rasterman) wrote: On Tue, 24 Jul 2018 08:18:49 +0200 Pierre Couderc said: On 07/24/2018 06:06 AM, Carsten Haitzler (The Rasterman) wrote:

Re: [e-users] Size of characters

2018-07-24 Thread Carsten Haitzler
On Tue, 24 Jul 2018 11:43:06 +0200 Pierre Couderc said: > On 07/24/2018 11:26 AM, Carsten Haitzler (The Rasterman) wrote: > > On Tue, 24 Jul 2018 08:18:49 +0200 Pierre Couderc said: > > > >> > >> On 07/24/2018 06:06 AM, Carsten Haitzler (The Rasterman) wrote: > >>> actually no. this is where use

Re: [e-users] Size of characters

2018-07-24 Thread Mick
On Tuesday, 24 July 2018 10:43:06 BST Pierre Couderc wrote: > On 07/24/2018 11:26 AM, Carsten Haitzler (The Rasterman) wrote: > > On Tue, 24 Jul 2018 08:18:49 +0200 Pierre Couderc said: > >> On 07/24/2018 06:06 AM, Carsten Haitzler (The Rasterman) wrote: > >>> actually no. this is where users and

Re: [e-users] Size of characters

2018-07-24 Thread Pierre Couderc
On 07/24/2018 11:26 AM, Carsten Haitzler (The Rasterman) wrote: On Tue, 24 Jul 2018 08:18:49 +0200 Pierre Couderc said: On 07/24/2018 06:06 AM, Carsten Haitzler (The Rasterman) wrote: actually no. this is where users and many toolkits and apps get it totally wrong. so you specify font size.

Re: [e-users] Size of characters

2018-07-24 Thread The Rasterman
On Tue, 24 Jul 2018 08:18:49 +0200 Pierre Couderc said: > > > On 07/24/2018 06:06 AM, Carsten Haitzler (The Rasterman) wrote: > > > > actually no. this is where users and many toolkits and apps get it totally > > wrong. so you specify font size. what about icons and other elements then? > > tha