From d27448dcecab1a2050228ef6899c86d20da58bd1 Mon Sep 17 00:00:00 2001
From: Daniil Fadeev <shameondev@gmail.com>
Date: Fri, 15 Sep 2023 17:02:22 +0400
Subject: [PATCH] popovers: Rename playground links popover hiding function.

---
 web/src/playground_links_popover.js | 4 ++--
 web/src/popovers.js                 | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/web/src/playground_links_popover.js b/web/src/playground_links_popover.js
index 16c364b3f8..40ace94894 100644
--- a/web/src/playground_links_popover.js
+++ b/web/src/playground_links_popover.js
@@ -38,7 +38,7 @@ function toggle_playground_links_popover(element, playground_info) {
     }
 }
 
-export function hide_playground_links_popover() {
+export function hide() {
     if ($current_playground_links_popover_elem !== undefined) {
         $current_playground_links_popover_elem.popover("destroy");
         $current_playground_links_popover_elem = undefined;
@@ -78,7 +78,7 @@ function register_click_handlers() {
     );
 
     $("body").on("click", ".popover_playground_link", (e) => {
-        hide_playground_links_popover();
+        hide();
         e.stopPropagation();
     });
 }
diff --git a/web/src/popovers.js b/web/src/popovers.js
index 0cddc93edb..c996f0e3eb 100644
--- a/web/src/popovers.js
+++ b/web/src/popovers.js
@@ -162,7 +162,7 @@ export function hide_all_except_sidebars(opts) {
     stream_popover.hide_stream_popover();
     user_group_popover.hide();
     user_card_popover.hide_all_user_card_popovers();
-    playground_links_popover.hide_playground_links_popover();
+    playground_links_popover.hide();
 
     // look through all the popovers that have been added and removed.
     for (const $o of list_of_popovers) {