dolphinsmalltalk / Dolphin

Dolphin Smalltalk Core Image
MIT License
301 stars 58 forks source link

7.2 High Dpi: Status bars do not resize correctly on change of DPI #1288

Closed blairmcg closed 3 months ago

blairmcg commented 3 months ago

When moving a window between monitors at significantly different DPIs, or on changing the scaling in display settings, the windows are resized and adjust internal geometry, images, etc, as appropriate for the new DPI scaling. This is not working correctly for StatusBars, which have insufficient height after reducing scale. The image shows a class browser status bar after reducing DPI scaling from 175% -> 100%, and on top a class browser opened at 100%

To Reproduce

  1. Set monitor scaling to 150% or higher in Windows display settings
  2. Open a class browser and select a class
  3. Change monitor scaling to 100% in Windows display settings

Alternatively move the browser window between monitors with different scales. On moving to a larger scale the status bar will be too large, which is less impactful.

Expected The status bar should change to the same size (within a pixel) as in a newly opened browser.

Actual

Rescaled left/behind, newly opened right/front

image