Am 30.07.2017 um 19:45 schrieb Uwe Stöhr <uwesto...@web.de>:
> 
> El 29.07.2017 a las 23:47, Scott Kostyshak escribió:
> 
>> Agreed. Hopefully we can get more in the future.
> 
> As on no OS people are using 100% and as 120% was the reported the minimal 
> used zoom level, I again vote to make the new 100% the current 120%.

How do you want to achieve this? I’m not so confident it’s good to change the 
current computation of screen zoom. Every preference saved to disk would be 
„invalid“ after a change.

I’m not against a decision what the best default zoom level is.

Stephan

> 
> I opened an enhancement accordingly:
> http://www.lyx.org/trac/ticket/10737
> 
> (For the records: on Manjaro Linux KDE I have set 150% zoom.)
> 
> regards Uwe

Reply via email to