Make status bar resilient against desktop changing
Backport of 7834578b
PageSelector:
- Allow desktop to be set later, rather than at construction time.
- Allow desktop changed or unset.
SelectedStyle:
- Add missing update when desktop is changed.
- Allow desktop to be unset.
StatusBar:
- Add PageSelector at construction, now that we can.
- Allow desktop to be unset.
- Add missing update on desktop change.
- Use an OperationBlocker for rotate/zoom spinbuttons.
Fixes #5588 (closed)