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)

Merge request reports

Loading