Gap between tab headers and text area at 125% and 150% scaling on Windows #4902

Closed
JakubValtar opened this Issue Feb 14, 2017 · 5 comments

Comments

Projects
None yet
2 participants
@JakubValtar
Contributor

JakubValtar commented Feb 14, 2017

scaling

@JakubValtar JakubValtar added the pde label Feb 14, 2017

@benfry

This comment has been minimized.

Show comment
Hide comment
@benfry

benfry Feb 14, 2017

Member

But doesn't everything look like s*t on your machine at 125%? :)

As a quick fix, try using Math.ceil() inside Toolkit.zoom().

Member

benfry commented Feb 14, 2017

But doesn't everything look like s*t on your machine at 125%? :)

As a quick fix, try using Math.ceil() inside Toolkit.zoom().

@benfry

This comment has been minimized.

Show comment
Hide comment
@benfry

benfry Feb 14, 2017

Member

If that looks funky, we could disable UI scaling for the 125% case, since it's unlikely to bother folks much at that scale, and the cure might be worse than the sickness.

Member

benfry commented Feb 14, 2017

If that looks funky, we could disable UI scaling for the 125% case, since it's unlikely to bother folks much at that scale, and the cure might be worse than the sickness.

@JakubValtar

This comment has been minimized.

Show comment
Hide comment
@JakubValtar

JakubValtar Feb 14, 2017

Contributor

But doesn't everything look like s*t on your machine at 125%? :)

Not really, only 3.3 :)

If that looks funky, we could disable UI scaling for the 125% case, since it's unlikely to bother folks much at that scale, and the cure might be worse than the sickness.

I set scaling to 100% in preferences and it looks good (i.e. same as 3.2.4).

I'd even argue that the auto size of the UI is too big compared to system windows and other apps:

100%

scaling100

125%

scaling125

150%

scaling150

Contributor

JakubValtar commented Feb 14, 2017

But doesn't everything look like s*t on your machine at 125%? :)

Not really, only 3.3 :)

If that looks funky, we could disable UI scaling for the 125% case, since it's unlikely to bother folks much at that scale, and the cure might be worse than the sickness.

I set scaling to 100% in preferences and it looks good (i.e. same as 3.2.4).

I'd even argue that the auto size of the UI is too big compared to system windows and other apps:

100%

scaling100

125%

scaling125

150%

scaling150

@JakubValtar

This comment has been minimized.

Show comment
Hide comment
@JakubValtar

JakubValtar Feb 14, 2017

Contributor

Math.ceil() helped

Contributor

JakubValtar commented Feb 14, 2017

Math.ceil() helped

@benfry

This comment has been minimized.

Show comment
Hide comment
@benfry

benfry Feb 14, 2017

Member

Yeah, in general the UI is a little larger than the standard Windows components, in line with the trend towards UIs being larger in general (i.e. the Windows settings pages in 8+ vs. NT-era windows like System Properties), so that part is normal/intentional.

Member

benfry commented Feb 14, 2017

Yeah, in general the UI is a little larger than the standard Windows components, in line with the trend towards UIs being larger in general (i.e. the Windows settings pages in 8+ vs. NT-era windows like System Properties), so that part is normal/intentional.

@benfry benfry closed this in 3e79b1f Apr 22, 2017

benfry added a commit that referenced this issue Apr 22, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment