PanFrames: handle DesktopConfiguration changes #438
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
When panframes are created, the DesktopConfiguration is taken in to
account. This means that during startup, the panframes will be
initialised in the global state, but could change to being per-monitor
shortly afterward.
The implementation assumed that all monitors would needed to have been
checked, however this isn't true in the case of per-monitor mode; as a
result, panframes around other monitors were being unmapped.
Instead, callers of checkPanFrames() already know which monitor needs to
be involved and can pass that through. This change removes the previous
should_free_panframe() call as it's never used from more than one place,
so can be inlined once more. In doing so, s/Bool/bool/ since Bool is
reserved for X11 purposes.
Fixes #381, fixes #401