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

FvwmPager: Honor ewmh working area and option to ignore working area. #1070

Merged
merged 1 commit into from
Oct 16, 2024

Conversation

somiaj
Copy link
Collaborator

@somiaj somiaj commented Oct 15, 2024

This allows FvwmPager to take advantage of the change to how
EWMH working area is used to move windows into the current working
area of the monitor they are placed in. This helps windows being
placed by FvwmPager not appear slightly off screen. This adds a
new option, *FvwmPager: IgnoreWorkingArea, which turns off this
feature, returning to the previous behavior of using the option
ewmhiwa option when moving windows.

This is built on top of #1067.

@somiaj somiaj force-pushed the js/pager-toggle-ewmhiwa branch from 81b8609 to 61d94e6 Compare October 15, 2024 04:18
@somiaj somiaj changed the title Js/pager toggle ewmhiwa FvwmPager: Honor ewmh working area and option to ignore working area. Oct 16, 2024
This allows FvwmPager to take advantage of the change to how
EWMH working area is used to move windows into the current working
area of the monitor they are placed in. This helps windows being
placed by FvwmPager not appear slightly off screen. This adds a
new option, *FvwmPager: IgnoreWorkingArea, which turns off this
feature, returning to the previous behavior of using the option
`ewmhiwa` option when moving windows.
@somiaj somiaj force-pushed the js/pager-toggle-ewmhiwa branch from 61d94e6 to ec0d81d Compare October 16, 2024 21:47
@ThomasAdam ThomasAdam added type:enhancement Augmenting an existing feature relates:module Issue is in module code labels Oct 16, 2024
@ThomasAdam ThomasAdam added this to the 1.1.1 milestone Oct 16, 2024
@ThomasAdam ThomasAdam self-assigned this Oct 16, 2024
@ThomasAdam ThomasAdam merged commit ace6a2a into main Oct 16, 2024
5 checks passed
@ThomasAdam ThomasAdam deleted the js/pager-toggle-ewmhiwa branch October 16, 2024 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
relates:module Issue is in module code type:enhancement Augmenting an existing feature
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants