[gnome-shell] search: Replace the gradient separator with a simple line

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

commit 9d77fa83419e49ab54bbb33851a489736319e77a
Author: Rares Visalom <rares visalom gmail com>
Date:   Thu Jul 13 21:34:47 2017 +0300

    search: Replace the gradient separator with a simple line
    
    The current separator uses a gradient effect as a separator
    between search results. As the mockups suggest, the gradient
    separator is no longer needed, in favor of a more simple one,
    which is a thin semitransparent line.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=749957

 data/theme/gnome-shell-high-contrast.css |    7 ++-----
 data/theme/gnome-shell-sass              |    2 +-
 data/theme/gnome-shell.css               |    7 ++-----
 js/ui/search.js                          |    5 ++---
 4 files changed, 7 insertions(+), 14 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index fc16943..a876f35 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1172,11 +1172,8 @@ StScrollBar {
   spacing: 3px; }
 
 .search-section-separator {
-  -gradient-height: 1px;
-  -gradient-start: rgba(255, 255, 255, 0);
-  -gradient-end: rgba(255, 255, 255, 0.1);
-  -margin-horizontal: 1.5em;
-  height: 1px; }
+  height: 2px;
+  background-color: rgba(255, 255, 255, 0.2); }
 
 .list-search-result-content {
   spacing: 30px; }
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index 07f43e0..46963bc 160000
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit 07f43e04251e0daedf2828a5b15c007e8e57fb05
+Subproject commit 46963bc8e332cbe36a0791ed6345c48241d5c52a
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index e1132c7..ed1fabc 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1172,11 +1172,8 @@ StScrollBar {
   spacing: 3px; }
 
 .search-section-separator {
-  -gradient-height: 1px;
-  -gradient-start: rgba(255, 255, 255, 0);
-  -gradient-end: rgba(255, 255, 255, 0.1);
-  -margin-horizontal: 1.5em;
-  height: 1px; }
+  height: 2px;
+  background-color: rgba(255, 255, 255, 0.2); }
 
 .list-search-result-content {
   spacing: 30px; }
diff --git a/js/ui/search.js b/js/ui/search.js
index ca6d8ba..a00e282 100644
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -17,7 +17,6 @@ const IconGrid = imports.ui.iconGrid;
 const Main = imports.ui.main;
 const Overview = imports.ui.overview;
 const RemoteSearch = imports.ui.remoteSearch;
-const Separator = imports.ui.separator;
 const Util = imports.misc.util;
 
 const SEARCH_PROVIDERS_SCHEMA = 'org.gnome.desktop.search-providers';
@@ -149,8 +148,8 @@ const SearchResultsBase = new Lang.Class({
                                               y_fill: true });
         this.actor.add(this._resultDisplayBin, { expand: true });
 
-        let separator = new Separator.HorizontalSeparator({ style_class: 'search-section-separator' });
-        this.actor.add(separator.actor);
+        let separator = new St.Widget({ style_class: 'search-section-separator' });
+        this.actor.add(separator);
 
         this._resultDisplays = {};