pharo-project / pharo-launcher

Lets you manage your pharo images and download new ones
https://pharo-project.github.io/pharo-launcher/
MIT License
109 stars 46 forks source link

Increasing the font size above the default does not leave enough inter-line spacing in lists #677

Closed jhaungs closed 7 months ago

jhaungs commented 8 months ago

Describe the bug The inter-line spacing in lists does not increase with the font size, so the text is smushed together.

To Reproduce Steps to reproduce the behavior:

  1. Go to 'Settings'
  2. Click on 'Standard Fonts'
  3. Select ' Large' (16pt)
  4. Open a System Browser.
  5. Observe that the text lines overlap

Expected behavior I would expect the interline spacing to increase with the font size.

Screenshots Screenshot 2024-03-16 at 10 41 29

Version information:

Expected development cost I don't know where to look for the font size information or the list interline spacing, but if you give me a hint, I could look at how it works.

Additional context

Ducasse commented 8 months ago

Thanks for the report. We know it and you should reopen the window to get the list right.

demarey commented 7 months ago

Thank you for the report! I will move the issue to Pharo issue tracker since the issue is related to Pharo itself. I will then add a comment to link the issue and close this one.

demarey commented 7 months ago

issue is moved to Pharo issue tracker: https://github.com/pharo-project/pharo/issues/16446