[gnome-shell] (9 commits) ...keyboard: Handle edge drag gesture cancellation

[Marge Bot <marge-bot src gnome org>]

Summary of changes:

  f52cafe... layout: Move keyboard slide animation to keyboard (*)
  0580fe6... windowManager: Move OSK gesture to KeyboardManager (*)
  8e73143... keyboard: Drop layoutManager's keyboard-visible-changed (*)
  a6a4e0a... edgeDragAction: Add signal to notify about progress (*)
  0a12405... keyboard: Simplify focus window tracking (*)
  3346e99... keyboard: Move monitor management to KeyboardController (*)
  8526776... keyboard: Use translation-y property for focus window anima (*)
  c62177e... keyboard: Make OSK follow gesture progress (*)
  0b16565... keyboard: Handle edge drag gesture cancellation (*)

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