[gnome-shell] (4 commits) Non-fast-forward update to branch wip/exalm/dots

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

The branch 'wip/exalm/dots' 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:

  f62bd8e... pageIndicators: Redesign and add position-based animation

Commits added to the branch:

  9132063... switcherPopup: Show immediately on second key press (*)
  c48330a... cleanup: Use g_clear_handle_id() for g_source_remove() (*)
  9790b0e... st/button: Notify :pressed changes (*)
  f9495ba... pageIndicators: Redesign and add position-based animation

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