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
