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

ta/gh 477 #478

Merged
merged 2 commits into from
Apr 18, 2021
Merged

ta/gh 477 #478

merged 2 commits into from
Apr 18, 2021

Conversation

ThomasAdam
Copy link
Member

  • EWMH: SetDesktopNames should set num of desks
  • UPDATE_FVWM_SCREEN: update EWMH desktop

FVWM was one of the first WMs to adopt the EWMH specification alongside
the ICCCM2 specification.  As such, some of the means of specifying
things like number of desktops can come about in a few different ways.

The `DesktopName` command sets the names of each desktop (and therefore
implicitly how many desktops there are), but there's also a
`EwmhNumberOfDesktops` command to do the same thing.

Regardless of which command a user choses, `DesktopName` should set the
NumberOfDesktops variable which calculates how many desktops there
actually are.

Fixes #477
When a window is dragged between monitors, update the EWMH current desk
if it differs, so that the true current desk is updated.  This has the
(correct, IMO) consequence that the current EWMH desktop changes
depending on which screena command such as

`xprop -root -spy | rg _NET_CURRENT`

is run from.  However, in the case of `DesktopConfiguration` being set
to `shared` or `per-monitor`, this should always be the case, as each
monitor is allowed to be on different desktops.

Fixes #477
@ThomasAdam ThomasAdam added this to the 1.0.3 milestone Apr 17, 2021
@ThomasAdam ThomasAdam self-assigned this Apr 17, 2021
@ThomasAdam ThomasAdam linked an issue Apr 17, 2021 that may be closed by this pull request
@ThomasAdam ThomasAdam merged commit e5962c1 into master Apr 18, 2021
@ThomasAdam ThomasAdam deleted the ta/gh-477 branch April 18, 2021 17:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Desktop Names wrongly reported by wmctrl under fvwm3
1 participant