New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editor does not correctly respect DPI settings (Linux/Xfce) #1531

Closed
mithat opened this Issue May 18, 2016 · 7 comments

Comments

Projects
None yet
3 participants
@mithat

mithat commented May 18, 2016

Short Summary

When the system DPI is set to a custom value, UI text respects that setting, but editor text is incorrect.

Steps to Reproduce

In Xfce > Settings Manager > Appearance, open the Fonts tab and set the DPI setting to a value of 120. Start Komodo Edit.

Expected results

Editor text is rendered at 120 dpi.

Actual results

Editor text is far larger than would be the case for 120dpi resolution.

Platform Information

Komodo Edit, version 9.3.2, build 16460, platform linux-x86_64.
Built on Thu Dec 10 19:37:22 2015.

Additional Information

screenshot_2016-05-18_12-18-04

@Naatan

This comment has been minimized.

Member

Naatan commented May 18, 2016

Thanks @mithat, we're aware of this issue but it does not seem we had a ticket for it yet.

@mitchell-as

This comment has been minimized.

Member

mitchell-as commented Jul 5, 2016

This should have been fixed in Komodo 10 per #162 and #160. Please upgrade to 10 from 9.

@mitchell-as mitchell-as closed this Jul 5, 2016

@mithat

This comment has been minimized.

mithat commented Jul 5, 2016

I mistakenly posted a request to reopen this to #160. It's not fixed for me.

@mitchell-as

This comment has been minimized.

Member

mitchell-as commented Jul 5, 2016

Okay, thanks for reporting back. I'll look more into this.

@Naatan

This comment has been minimized.

Member

Naatan commented Jul 6, 2016

Note when working with HiDPI on linux I've found that different distro's/window managers do HiDPI different ways. I think for now we should focus exclusively on the most popular one (Ubuntu/unity) and after that is working properly we can look into other ones, if they still have issues.

@mitchell-as

This comment has been minimized.

Member

mitchell-as commented Jul 6, 2016

Note this ticket is not about HiDPI, just about non-standard DPIs. Komodo 10's ability to handle non-standard DPIs in Ubuntu/Unity works well (at least on non-HiDPI screens -- I don't have a HiDPI screen to test on). The next order of operations would be to look at using Xresources or XFCE settings to change DPI.

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