idea 2023.1 settings: font settings and automatic size adjustment

1. Screenshot of the original interface

 

2. Modify font settings 

2.1.Font sets the font and size 

Ability to adjust font and line height compared to below  

2.2. Use the mouse wheel to adjust the font size 

Compared with the above, Ctrl+wheel can only adjust the font size 

 If you can’t find it, you can directly search for wheel

3. Screenshot of the modified interface

When the key combination changes the font size, the current font size and quick recovery options will be prompted.