There is no other process. I think the different DPI among the screens (laptop, home monitor, work monitor) may have contributed to the problem.
I did a search and found one article saying that applications that are not DPI-aware could have some problem of auto-scaling, see: DPI and device-independent pixels
It is similar to what I saw - when I switch to a high-DPI (150 DPI) 4K monitor, the font size of the menu/tool bar are fine, but the font size in 'file-tree view' and 'editor (text area)' windows sometimes become too small.
I'll do some more tests.
I did a search and found one article saying that applications that are not DPI-aware could have some problem of auto-scaling, see: DPI and device-independent pixels
It is similar to what I saw - when I switch to a high-DPI (150 DPI) 4K monitor, the font size of the menu/tool bar are fine, but the font size in 'file-tree view' and 'editor (text area)' windows sometimes become too small.
I'll do some more tests.


