diff options
Diffstat (limited to 'debian/patches/Update-ui.js.patch')
-rw-r--r-- | debian/patches/Update-ui.js.patch | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/debian/patches/Update-ui.js.patch b/debian/patches/Update-ui.js.patch deleted file mode 100644 index 26f563d..0000000 --- a/debian/patches/Update-ui.js.patch +++ /dev/null @@ -1,47 +0,0 @@ -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 - } - ); - }); |