From 0ed309fa18ecba6c321c8e97df7c3ca44adf433c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Mon, 7 May 2018 19:14:27 +0200
Subject: [PATCH] Use 'tile-preview' style for selected window highlight

Might be a bit subtle, but works better as a selection, as there's a background
color (somewhat transparent).

We position the highlight vertically from the bottom of the top bar to the
bottom of the monitor.
---
 tiling.js | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/tiling.js b/tiling.js
index 5f7178b..fd96481 100644
--- a/tiling.js
+++ b/tiling.js
@@ -98,7 +98,7 @@ class Space extends Array {
         this.label = label;
         label.set_style('font-weight: bold; height: 1.86em;');
 
-        let selection = new St.Widget({style_class: 'window-clone-border'});
+        let selection = new St.Widget({style_class: 'tile-preview'});
         this.selection = selection;
         selection.hide();
 
@@ -936,8 +936,9 @@ function ensureViewport(meta_window, space, force) {
     frame.x -= monitor.x;
     frame.y -= monitor.y;
 
-    space.selection.set_position(frame.x - 5, frame.y - 5);
-    space.selection.set_size(frame.width + 10, frame.height + 10);
+    space.selection.set_position(frame.x - Math.round(window_gap/2),
+                                 panelBox.height);
+    space.selection.set_size(frame.width + window_gap, space.height - panelBox.height);
 
     let x = frame.x;
     let y = panelBox.height + margin_tb;
@@ -1000,10 +1001,10 @@ function ensureViewport(meta_window, space, force) {
     let selectedFrame = space.selectedWindow.get_frame_rect();
     Navigator.navigating && space.selection.show();
     Tweener.addTween(space.selection,
-                     {x: selectedFrame.x - 5,
-                      y: selectedFrame.y - 5,
-                      width: selectedFrame.width + 10,
-                      height: selectedFrame.height + 10,
+                     {x: selectedFrame.x - Math.round(window_gap/2),
+                      y: panelBox.height,
+                      width: selectedFrame.width + window_gap,
+                      height: space.height - panelBox.height,
                       time: 0.25,
                       transition: 'easeInOutQuad'});