workspaceAnimation: Split from WindowManager

It's already too complex, and will get more complex in future, split it
out. Update the code style.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1326>
This commit is contained in:
Alexander Mikhaylenko 2019-07-02 22:28:47 +05:00 committed by Marge Bot
parent 42c2bf709e
commit bebd612a8f
3 changed files with 430 additions and 393 deletions

View file

@ -111,6 +111,7 @@
<file>ui/windowManager.js</file>
<file>ui/windowPreview.js</file>
<file>ui/workspace.js</file>
<file>ui/workspaceAnimation.js</file>
<file>ui/workspaceSwitcherPopup.js</file>
<file>ui/workspaceThumbnail.js</file>
<file>ui/workspacesView.js</file>