Closed ngehlenborg closed 11 years ago
On Linux it's the other way around, it needs to be decreased.
the reason for both observations is that the default scaling is depending on the reported DPI: Display.getDPI()
That means in @alexsb case it claims to have a too high DPI, this is also the reason why the splash screen looks so weird on this machine -> it should print in the console something with: DPI: Point
In @ngehlenborg case, as already pointed out in the previous ticket, the mac swt always returns 72 DPI regardless of the current real DPI.
on the mac I now assume a 96 dpi resolution (which is wrong btw. but will reproduce the old results)
Since users will typically not be aware of the scaling settings in the preferences we need to have a better default, the current one is too small.
I don't know what the correct setting would be, but the slider position in the second screenshot should give you an idea.
It might also be nice to have a text field to enter the exact scaling factor (or at least a numeric representation next to the slider) to restore a particular setting, e.g. for taking screenshots.