I presume it is appropriate to NOT make Ctrl+scroll font/zoom changes persistent. _____ From: Jordan Brown [mailto:openscad@jordan.maileater.net] Sent: Sat, 20 Aug 2022 15:05 To: OpenSCAD general discussion; Ken Subject: [OpenSCAD] Re: Console window text size Data points for me: 2021.01 (release) - there is no preference control. You can adjust the size using Ctrl+Scrollwheel, but it is reset on restart. 2022.03.22 (daily) - there is a preference and it seems to persist. Changing with Ctrl+Scrollwheel does not seem to persist. 2022.07.27 (personal build) - As in 2022.03.22. Ctrl+Scrollwheel does not seem to change the value visible in the preferences. -- This email has been checked for viruses by AVG. https://www.avg.com

On 8/20/2022 6:46 AM, Michael Marx wrote: > > I presume it is appropriate to NOT make Ctrl+scroll font/zoom changes > persistent. > My gut reaction is that they should be persistent.  Otherwise, you have this strange behavior where sometimes your console size is persistent and sometimes it isn't.  Consider that window position and size are persistent, without being preferences.

On 8/20/2022 3:20 AM, Raymond West wrote: > > the ctrl/mouse wheel zoom was introduced in W10.  It is a windows > operation, so individual programs will not store that info, unless > specifically encoded in the software.  > https://winaero.com/use-ctrl-mouse-wheel-zoom-windows-10-console/  > > It also works on many  other windows, other than console, sometimes, > but as it is a windows function, unless overwritten by the program, > then it will not be 'remembered' once the program is closed. > No, I don't think it's magic... just implemented by a lot of programs. Here's the implementation in QPlainTextEdit, which is the widget used to build the console: https://code.qt.io/cgit/qt/qtbase.git/tree/src/widgets/widgets/qplaintextedit.cpp#n2313 And the documentation at https://doc.qt.io/qt-6/qplaintextedit.html describes it (search for Ctrl+Wheel). I expect that OpenSCAD/src/gui/Console.h could override wheelEvent and track it.

If I move the console window from the main monitor it switches to the small size & font. Once the text has gone back to that, it will stay at that setting until the program is restarted regardless of which window it is moved to. On 2022-08-20 23:41, Michael Marx wrote: > Thanks Ken. What happens when you drag the console back to the main monitor? > > The console window is a different Qt object to the editor & the customizer etc. > So it could be a Windows(prob. 10) Qt bug. > > It would be helpful if anyone else has W10 & multiple monitors who can reproduce this with recent > snapshots/nightlies. > >> -----Original Message----- >> From: Ken [mailto:bats059@gmail.com] >> Sent: Sat, 20 Aug 2022 22:45 >> To:discuss@lists.openscad.org >> Subject: [OpenSCAD] Re: Console window text size >> >> Thank you to all who helped with this problem, I have now, if not >> actually solved it, at least produced a work-around to what may be a >> windows problem, not an Openscad problem. >> >> I have three monitors on the one machine- if the console window was on >> the second or third monitor it would not fire up with the text size and >> font that I set. If it was on monitor one, it worked with no problems >> and would fire up each time with the font and size I set in >> preferences-advanced. >> >> If I drag the console window to one of the other monitors, the font >> immediately reverts back to the tiny size and font. Interesting that the >> editor window does not exhibit the same behavior, so it may yet be an >> openscad problem. >> >> >> -- >> >> Cheers, Ken >> bats059@gmail.com >> https://vk7krj.com/running.html >> https://sstv.vk7krj.com/all_bands.html >> ---------------------------------------- >> A baby can be defined as an ego with a noise at one end and a smell at the other. >> Our job as parents is to teach them to control all three. >> _______________________________________________ >> OpenSCAD mailing list >> To unsubscribe send an email todiscuss-leave@lists.openscad.org > -- Cheers, Ken bats059@gmail.com https://vk7krj.com/running.html https://sstv.vk7krj.com/all_bands.html ---------------------------------------- A baby can be defined as an ego with a noise at one end and a smell at the other. Our job as parents is to teach them to control all three.