From 90c8a731774790e519a05d96deff34317fcc4deb Mon Sep 17 00:00:00 2001
From: Mahtis Michel <mathis.michel@outlook.de>
Date: Fri, 8 Oct 2021 15:19:00 +0200
Subject: [PATCH] fix: rename request snippets configuration props (#7535)

Closes #7534
---
 src/core/index.js                              | 2 +-
 src/core/plugins/request-snippets/selectors.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/index.js b/src/core/index.js
index 5ec35133..1cf240cc 100644
--- a/src/core/index.js
+++ b/src/core/index.js
@@ -69,7 +69,7 @@ export default function SwaggerUI(opts) {
         },
       },
       defaultExpanded: true,
-      languagesMask: null, // e.g. only show curl bash = ["curl_bash"]
+      languages: null, // e.g. only show curl bash = ["curl_bash"]
     },
     supportedSubmitMethods: [
       "get",
diff --git a/src/core/plugins/request-snippets/selectors.js b/src/core/plugins/request-snippets/selectors.js
index 396f7295..baec3f87 100644
--- a/src/core/plugins/request-snippets/selectors.js
+++ b/src/core/plugins/request-snippets/selectors.js
@@ -10,7 +10,7 @@ export const getGenerators = createSelector(
       .get("languages")
     const generators = state
       .get("generators", Map())
-    if(!languageKeys) {
+    if(!languageKeys || languageKeys.isEmpty()) {
       return generators
     }
     return generators