[gnome-shell/gbsneto/random-cleanups-pt1: 2/3] viewSelector: Rename show/hide to reveal/conceal

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit a6003645dd8796f24aa75d5347ba6463260b233d
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Tue Jun 2 00:59:27 2020 -0300

    viewSelector: Rename show/hide to reveal/conceal
    
    The same reasoning as the previous commit.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1295

 js/ui/overview.js     | 4 ++--
 js/ui/viewSelector.js | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 39ca92c24e..a0e155a544 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -575,7 +575,7 @@ var Overview = class {
         this._activationTime = GLib.get_monotonic_time() / GLib.USEC_PER_SEC;
 
         Meta.disable_unredirect_for_display(global.display);
-        this.viewSelector.show();
+        this.viewSelector.reveal();
 
         this._overview.opacity = 0;
         this._overview.ease({
@@ -660,7 +660,7 @@ var Overview = class {
         // Re-enable unredirection
         Meta.enable_unredirect_for_display(global.display);
 
-        this.viewSelector.hide();
+        this.viewSelector.conceal();
         this._desktopFade.hide();
         this._coverPane.hide();
 
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 5a02ddc9e9..83d1b41f5a 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -271,7 +271,7 @@ var ViewSelector = GObject.registerClass({
         Main.overview.show();
     }
 
-    show() {
+    reveal() {
         this.reset();
         this._workspacesDisplay.reveal(this._showAppsButton.checked);
         this._activePage = null;
@@ -301,7 +301,7 @@ var ViewSelector = GObject.registerClass({
         this._workspacesDisplay.setWorkspacesFullGeometry(geom);
     }
 
-    hide() {
+    conceal() {
         this.reset();
         this._workspacesDisplay.conceal();
     }