[gnome-shell] (9 commits) Non-fast-forward update to branch wip/fmuellner/window-preview-translucency

[Florian Müllner <fmuellner src gnome org>]

The branch 'wip/fmuellner/window-preview-translucency' was changed in a way that was not a fast-forward 
update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  be85f77... workspace: Let WindowClone inherit from StWidget
  8da66c5... workspace: Set offscreen redirect on window previews

Commits added to the branch:

  5473637... cleanup: Fix style nits in last commit (*)
  55b0361... shell-recorder: Restore cursor recording (*)
  d0da96a... workspacesView: Handle reordering of workspaces (*)
  68e45eb... workspaceThumbnails: Handle reordering of workspaces (*)
  ff9bb53... windowManager: Use new reorder_workspace() API (*)
  1cac7b2... windowManager: Remove unused property (*)
  dbb71f0... layout: Make the hot corner optional (*)
  51938c3... workspace: Let WindowClone inherit from StWidget
  355b5ee... workspace: Set offscreen redirect on window previews

(*) This commit already existed in another branch; no separate mail sent