diff options
Diffstat (limited to 'debian/patches/Update-ui.js.patch')
-rw-r--r-- | debian/patches/Update-ui.js.patch | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/debian/patches/Update-ui.js.patch b/debian/patches/Update-ui.js.patch new file mode 100644 index 0000000..26f563d --- /dev/null +++ b/debian/patches/Update-ui.js.patch @@ -0,0 +1,47 @@ +From: Raushan Kumar Pandey <raushan.kumar478@gmail.com> +Date: Wed, 2 Sep 2020 01:30:42 +0530 +Subject: Update ui.js + +Tweener has been removed from gnome-shell. This changes fixes the issue in gnome 3.38 +--- + ui.js | 11 ++++------- + 1 file changed, 4 insertions(+), 7 deletions(-) + +diff --git a/ui.js b/ui.js +index 5b703fa..ea3354b 100644 +--- a/ui.js ++++ b/ui.js +@@ -18,7 +18,6 @@ + const Clutter = imports.gi.Clutter; + const GObject = imports.gi.GObject; + const St = imports.gi.St; +-const Tweener = imports.ui.tweener; + const PopupMenu = imports.ui.popupMenu; + const Config = imports.misc.config; + +@@ -79,21 +78,19 @@ var PopupBluetoothDeviceMenuItem = GObject.registerClass( + }); + + button.connect("enter-event", (widget) => { +- Tweener.addTween( +- widget.child, { ++ widget.child.ease( { + opacity: 255, + time: 0.05, +- transition: 'linear' ++ transition: Clutter.AnimationMode.LINEAR + } + ); + }); + + button.connect("leave-event", (widget) => { +- Tweener.addTween( +- widget.child, { ++ widget.child.ease( { + opacity: 155, + time: 0.05, +- transition: 'linear' ++ transition: Clutter.AnimationMode.LINEAR + } + ); + }); |