git.tremily.us Git - gentoo.git/blob

   1 From ff442818fb5c4fd9521c532200ff825061fa35e4 Mon Sep 17 00:00:00 2001
   2 From: =?UTF-8?q?Rapha=C3=ABl=20Rochet?= <raphael@rri.fr>
   3 Date: Mon, 11 Feb 2019 21:26:24 +0100
   4 Subject: [PATCH] Fix #6 by removing old swipe animation
   5
   6 ---
   7  extension.js | 16 ++--------------
   8  1 file changed, 2 insertions(+), 14 deletions(-)
   9
  10 diff --git a/extension.js b/extension.js
  11 index 1eda926..deffc58 100644
  12 --- a/extension.js
  13 +++ b/extension.js
  14 @@ -175,16 +175,10 @@ function _onLeave() {
  15                 _labelTimeoutId = 0;
  16         }
  17
  18 -       // but give a chance to skip hover delay if the cursor hovers another icon
  19         if (_labelShowing) {
  20 -               _resetHoverTimeoutId = Mainloop.timeout_add(HIDEDELAY,  function() {
  21 -                               _hideTooltip();
  22 -                               _labelShowing = false;
  23 -                               _resetHoverTimeoutId = 0;
  24 -                               return false;
  25 -                       } );
  26 +               _hideTooltip();
  27 +               _labelShowing = false;
  28         }
  29 -
  30  }
  31
  32
  33 @@ -277,12 +271,6 @@ function _showTooltip(actor) {
  34
  35                 }
  36
  37 -               // do not hide tooltip while cursor is on icon
  38 -               if (_resetHoverTimeoutId > 0) {
  39 -                       Mainloop.source_remove(_resetHoverTimeoutId);
  40 -                       _resetHoverTimeoutId = 0;
  41 -               }
  42 -
  43         } else {
  44
  45                 // No tooltip to show : act like we're leaving an icon