No high-DPI/-resolution/4K GUI in 0.15.2 and 0.15.1.1
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Stellarium |
New
|
Undecided
|
Unassigned |
Bug Description
After upgrading from version 0.15.0 to 0.15.2 on Windows 10, the GUI became unusable small.
A similar problem seems to have existed before version 0.15.0 and to have been reported as: bug #1372781 "4K resolution (GUI scaling)" - reported by Alexander Wolf on 2014-09-23.
The screen is 12.3" and has a 2736×1824 resolution (MS Surface 4). The GUI has a normal size when using version 0.15.0. After installing 0.15.2 the toolbars and the text are very small, and one can barely read it without a magnifying glass/loupe. I tried version 0.15.1.1 as well, but the GUI had the same small size as with 0.15.2. Running the 0.90.0.9270 trunk version shows a well-sized GUI like that of version 0.15.0.
With version 0.15.2, adding "enable_
Also, the frame rate dropped from smooth 50+ fps in 0.15.0 to around 30 fps with annoying lags in 0.15.2. The integrated Intel HD 520 graphics isn't really up to rendering 2736x1824 pixels.
Maybe a resolution list to choose from would be helpful, like in computer games that use OpenGL (e.g. also when connecting an Intel Atom device to a big TV/display).
Kind regards
Stefan
I just saw that bug #1667032 is also about the issue I'm having.