[gnome-shell-extensions] windowsNavigator: Adjust to deprecated API removal

[Florian Müllner <fmuellner src gnome org>]

commit 330e7b312d508bba1d8492cd6ab5287bdfd1a57a
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Jan 26 23:21:44 2020 +0100

    windowsNavigator: Adjust to deprecated API removal
    
    The old raise/lower methods have been deprecated for years, and
    mutter finally removed those APIs.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/104

 extensions/windowsNavigator/extension.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 0d8ebe5..088cd3f 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -19,7 +19,7 @@ class MyWindowOverlay extends Workspace.WindowOverlay {
     }
 
     showTooltip() {
-        this._text.raise_top();
+        this._parentActor.set_child_below_sibling(this._text, null);
         this._text.show();
         this._text.text = (this._windowClone.slotId + 1).toString();
     }
@@ -37,7 +37,7 @@ class MyWindowOverlay extends Workspace.WindowOverlay {
         let textX = cloneX - 2;
         let textY = cloneY - 2;
         this._text.set_position(Math.floor(textX) + 5, Math.floor(textY) + 5);
-        this._text.raise_top();
+        this._parentActor.set_child_below_sibling(this._text, null);
     }
 }
 
@@ -80,7 +80,7 @@ class MyWorkspace extends Workspace.Workspace {
         this._tip.x = area.x;
         this._tip.y = area.y;
         this._tip.show();
-        this._tip.raise_top();
+        this.set_child_below_sibling(this._tip, null);
     }
 
     hideTooltip() {