windowManager: Add unminimize effect

Desktop / GNOME / GNOME Shell - Florian Müllner [gnome.org] - 27 February 2015 06:02 UTC

The effect was added to mutter a while ago, but never implemented in the shell. Just do the reverse of the minimize animation ...

https://bugzilla.gnome.org/show_bug.cgi?id=702662

c9bcb41 windowManager: Add unminimize effect
js/ui/windowManager.js | 80 ++++++++++++++++++++++++++++++++++++++++++++++
src/gnome-shell-plugin.c | 12 +++++++
src/shell-wm-private.h | 2 ++
src/shell-wm.c | 30 +++++++++++++++++
src/shell-wm.h | 2 ++
5 files changed, 126 insertions(+)

Upstream: git.gnome.org


  • Share