[gnome-shell/wip/jimmac/sharp-icons] icons: avoid 96x96

[Jakub Steiner <jimmac src gnome org>]

commit 19dcfa69124218b1ed5e3a307f96da3b058b6da5
Author: Jakub Steiner <jimmac gmail com>
Date:   Tue Nov 13 14:52:04 2018 +0100

    icons: avoid 96x96
    
    - use 128 instead for total sharpness
    
    see https://gitlab.gnome.org/GNOME/nautilus/issues/743

 data/theme/gnome-shell-sass/_common.scss | 4 ++--
 js/ui/altTab.js                          | 4 ++--
 js/ui/ctrlAltTab.js                      | 2 +-
 js/ui/iconGrid.js                        | 4 ++--
 4 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/_common.scss b/data/theme/gnome-shell-sass/_common.scss
index 06c50d1d9..413b8c5dd 100644
--- a/data/theme/gnome-shell-sass/_common.scss
+++ b/data/theme/gnome-shell-sass/_common.scss
@@ -1287,7 +1287,7 @@ StScrollBar {
   }
   .list-search-results { spacing: 3px; }
 
-  .search-section-separator { height: 2px; background-color: rgba(255, 255, 255, 0.2); }
+  .search-section-separator { margin-top: 16px; height: 2px; background-color: rgba(255, 255, 255, 0.2); }
 
   .list-search-result-content { spacing: 30px; }
   .list-search-result-title { color: darken($osd_fg_color,5%); spacing: 12px; }
@@ -1344,7 +1344,7 @@ StScrollBar {
     -shell-grid-horizontal-item-size: 136px;
     -shell-grid-vertical-item-size: 136px;
 
-    .overview-icon { icon-size: 96px; }
+    .overview-icon { icon-size: 128px; }
   }
   //.app-display { spacing: 20px; }
 
diff --git a/js/ui/altTab.js b/js/ui/altTab.js
index d6d99f270..44d34b6bc 100644
--- a/js/ui/altTab.js
+++ b/js/ui/altTab.js
@@ -22,10 +22,10 @@ var THUMBNAIL_POPUP_TIME = 500; // milliseconds
 var THUMBNAIL_FADE_TIME = 0.1; // seconds
 
 var WINDOW_PREVIEW_SIZE = 128;
-var APP_ICON_SIZE = 96;
+var APP_ICON_SIZE = 128;
 var APP_ICON_SIZE_SMALL = 48;
 
-const baseIconSizes = [96, 64, 48, 32, 22];
+const baseIconSizes = [128, 64, 48, 32, 22];
 
 var AppIconMode = {
     THUMBNAIL_ONLY: 1,
diff --git a/js/ui/ctrlAltTab.js b/js/ui/ctrlAltTab.js
index 8ab1db9ba..aaa1b501e 100644
--- a/js/ui/ctrlAltTab.js
+++ b/js/ui/ctrlAltTab.js
@@ -12,7 +12,7 @@ const SwitcherPopup = imports.ui.switcherPopup;
 const Params = imports.misc.params;
 const Tweener = imports.ui.tweener;
 
-var POPUP_APPICON_SIZE = 96;
+var POPUP_APPICON_SIZE = 128;
 var POPUP_FADE_TIME = 0.1; // seconds
 
 var SortGroup = {
diff --git a/js/ui/iconGrid.js b/js/ui/iconGrid.js
index 94387a333..9f9297201 100644
--- a/js/ui/iconGrid.js
+++ b/js/ui/iconGrid.js
@@ -12,8 +12,8 @@ const Params = imports.misc.params;
 const Tweener = imports.ui.tweener;
 const Main = imports.ui.main;
 
-var ICON_SIZE = 96;
-var MIN_ICON_SIZE = 16;
+var ICON_SIZE = 128;
+var MIN_ICON_SIZE = 32;
 
 var EXTRA_SPACE_ANIMATION_TIME = 0.25;