Florian Müllner 80de26dc16 cleanup: Stop using Tweener ...

gnome-shell added convenience API for Clutter animations and replaced
Tweener everywhere; follow suite and do the same.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/87

2019-08-10 00:27:20 +02:00

..

extension.js

cleanup: Stop using Tweener

2019-08-10 00:27:20 +02:00

meson.build

build: Support the meson build system

2017-12-01 17:41:04 +01:00

metadata.json.in

screenshot-window-sizer: New extension

2014-09-17 07:05:22 +02:00

org.gnome.shell.extensions.screenshot-window-sizer.gschema.xml

gschema: Fix gettext-domain

2017-10-01 19:10:42 +02:00

stylesheet.css

screenshot-window-sizer: New extension

2014-09-17 07:05:22 +02:00