shell-manager: Add OverviewActive property

This is a property on org.gnome.Shell which was quick to add and which should help #1068

Merge request reports

Loading