Once font size is reduced, it never resets to the default
lazarus / 9-Editor

----------------------------------------------------------------------
RedOctober · 2018-03-14 20:08

Platform:  Lazarus 1.8.1, FPC 3.0.5, on Windows Server Essentials 2016
Monitor: LG Ultrawide 29UM68-P 29" LED LCD Monitor

Problem Description:  I'm happily working away in my Lazarus IDE
source code editor and my font size is at the correct setting, the
default Courier New, 10.  I accidentally hold down the Ctrl key while
scrolling down, and all my font get's smaller.  So I do the reverse, I
hold down the Ctrl key while scrolling up.  The font gets bigger, but
it's not the same ... it's "stretched".. always too wide or too tall. 
 I cannot seem to force it to revert back to non-stretched Courier New
10.

Question:  How do I force the one source code page I'm on, to revert
to strictly Courier New 10, not stretched?


Thanks in advance.

----------------------------------------------------------------------
Martin_fr · 2018-03-14 20:23

Hold ctrl and click the middle mouse.

You can change this in Tools -> Options > Editor > mouse

---------------
Actually not sure it will help.

Zoom back should have worked.
But, zoom acts on Font.Height. The editor options set Font.Size.

So as long as your font size is correctly represented by "Height" then
it will work.
If your font size would result in a theoretical Height with fractions,
then the fractions get lost.

----------------------------------------------------------------------
Thaddy · 2018-03-14 20:26

You are sure everybody has a middle mouse? On all platforms? Or do you
mean we have at least three mice connected and in an uneven setup?
https://en.wikipedia.org/wiki/File:Apple_Macintosh_Plus_mouse.jpg
https://en.wikipedia.org/wiki/Computer_mouse

----------------------------------------------------------------------
Martin_fr · 2018-03-14 20:32

Are you sure that html files should be stored with the extension .jpg?

----------------------------------------------------------------------
Thaddy · 2018-03-14 20:36

Anyway: don't assume complex mice... One button is better.... My step
son needs at least 12...

----------------------------------------------------------------------
RedOctober · 2018-03-14 21:03

Martin_fr's suggestion worked.  Thanks.  My mouse has two buttons and
a scroll wheel, and the scroll wheel acts like a middle button if
pushed.

----------------------------------------------------------------------
taazz · 2018-03-14 21:52

Quote from: RedOctober on March 14, 2018, 10:03:13 pmMartin_fr's
suggestion worked.  Thanks.  My mouse has two buttons and a scroll
wheel, and the scroll wheel acts like a middle button if pushed.
I usually change the zoom in/out from ctrl+mousewheel to
alt+mousewheel and set the fast scroll to ctrl+mouse wheel to avoid
those kind of problems.