Skip to content
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

Revert MWM borders line width in border_fetch_mwm_layout #824

Merged
merged 1 commit into from
Feb 9, 2023

Conversation

NsCDE
Copy link
Contributor

@NsCDE NsCDE commented Feb 9, 2023

  • What does this PR do?

Revert MWM borders line width in border_fetch_mwm_layout

@NsCDE
Copy link
Contributor Author

NsCDE commented Feb 9, 2023

Visual difference ...
badmwmborder
goodmwmborder

@ThomasAdam
Copy link
Member

This change is not correct with respect to HiDPI displays, where accepting this patch is now a regression.

@ThomasAdam ThomasAdam added the type:enhancement Augmenting an existing feature label Feb 9, 2023
@ThomasAdam ThomasAdam added this to the 1.0.7 milestone Feb 9, 2023
@ThomasAdam ThomasAdam merged commit 2327aac into fvwmorg:master Feb 9, 2023
@NsCDE
Copy link
Contributor Author

NsCDE commented Feb 9, 2023

I had Philipps and now I have new monitor, some Dell 29" which is 2560x1440 - my sweet spot resolution. I don't know if it is or is not HiDPI. It looks like I will have to go to living room with HDMI cable and laptop and try this on 4K TV and max resolution. :-) Did it once.

Altrough, I'm not sure how to tell if something is or is not "HiDPI". I must find that before ...

@ThomasAdam ThomasAdam self-assigned this Jul 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:enhancement Augmenting an existing feature
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants