diff --git a/src/packages/frontend/account/other-settings.tsx b/src/packages/frontend/account/other-settings.tsx
index 0036a609c8..bdf6fcb0ca 100644
--- a/src/packages/frontend/account/other-settings.tsx
+++ b/src/packages/frontend/account/other-settings.tsx
@@ -248,6 +248,21 @@ export function OtherSettings(props: Readonly<Props>): React.JSX.Element {
     );
   }
 
+  function render_show_symbol_bar_labels(): Rendered {
+    return (
+      <Checkbox
+        checked={!!props.other_settings.get("show_symbol_bar_labels")}
+        onChange={(e) => on_change("show_symbol_bar_labels", e.target.checked)}
+      >
+        <FormattedMessage
+          id="account.other-settings.symbol_bar_labels"
+          defaultMessage={`<strong>Show Symbol Bar Labels:</strong>
+            show labels in the frame editor symbol bar`}
+        />
+      </Checkbox>
+    );
+  }
+
   function render_default_file_sort(): Rendered {
     return (
       <LabeledRow
@@ -672,6 +687,7 @@ export function OtherSettings(props: Readonly<Props>): React.JSX.Element {
         {render_hide_project_popovers()}
         {render_hide_file_popovers()}
         {render_hide_button_tooltips()}
+        {render_show_symbol_bar_labels()}
         <Checkbox
           checked={!!props.other_settings.get("hide_navbar_balance")}
           onChange={(e) => on_change("hide_navbar_balance", e.target.checked)}
diff --git a/src/packages/frontend/account/store.ts b/src/packages/frontend/account/store.ts
index 92047d4dc7..c05d80d1a9 100644
--- a/src/packages/frontend/account/store.ts
+++ b/src/packages/frontend/account/store.ts
@@ -143,6 +143,10 @@ export class AccountStore extends Store<AccountState> {
     if (!tours) return false;
     return tours.includes(tour) || tours.includes("all");
   }
+
+  showSymbolBarLabels(): boolean {
+    return this.getIn(["other_settings", "show_symbol_bar_labels"], false);
+  }
 }
 
 // A user is anonymous if they have not provided a way to sign
diff --git a/src/packages/frontend/account/types.ts b/src/packages/frontend/account/types.ts
index 01b31deb26..11ac830639 100644
--- a/src/packages/frontend/account/types.ts
+++ b/src/packages/frontend/account/types.ts
@@ -58,6 +58,7 @@ export interface AccountState {
     [OTHER_SETTINGS_REPLY_ENGLISH_KEY]?: string;
     no_email_new_messages?: boolean;
     use_balance_toward_subscriptions?: boolean;
+    show_symbol_bar_labels?: boolean; // whether to show labels on the menu buttons
     [ACTIVITY_BAR_LABELS]?: boolean; // whether to show labels on the vertical activity bar
   }>;
   stripe_customer?: TypedMap<{
diff --git a/src/packages/frontend/frame-editors/frame-tree/commands/manage.tsx b/src/packages/frontend/frame-editors/frame-tree/commands/manage.tsx
index e5a2eeb02b..e27beb5419 100644
--- a/src/packages/frontend/frame-editors/frame-tree/commands/manage.tsx
+++ b/src/packages/frontend/frame-editors/frame-tree/commands/manage.tsx
@@ -15,7 +15,7 @@ import { Icon, IconName, isIconName } from "@cocalc/frontend/components/icon";
 import { IS_MOBILE } from "@cocalc/frontend/feature";
 import { IntlMessage, isIntlMessage } from "@cocalc/frontend/i18n";
 import { cmp, filename_extension, trunc_middle } from "@cocalc/util/misc";
-// import { FrameTitleBarProps } from "../title-bar";
+import { COLORS } from "@cocalc/util/theme";
 import { EditorDescription } from "../types";
 import { COMMANDS } from "./commands";
 import { APPLICATION_MENU, SEARCH_COMMANDS } from "./const";
@@ -26,8 +26,6 @@ const MAX_TITLE_WIDTH = 20;
 const MAX_SEARCH_RESULTS = 10;
 const ICON_WIDTH = "28px";
 
-const BUTTON_LABELS = false;
-
 export class ManageCommands {
   // TODO: setting this to FrameTitleBarProps causes type issues in frame-editors/jupyter-editor/editor.ts
   // So, there is probably a fundamental problem with that mapping into "AllActions"
@@ -445,6 +443,11 @@ export class ManageCommands {
     });
   };
 
+  showSymbolBarLabels = (): boolean => {
+    const account = redux.getStore("account");
+    return account.showSymbolBarLabels();
+  };
+
   commandToMenuItem = ({
     name = "",
     key,
@@ -482,11 +485,11 @@ export class ManageCommands {
       label = (
         <>
           {icon ?? <Icon name="square" />}
-          {BUTTON_LABELS && (
+          {this.showSymbolBarLabels() && (
             <div
               style={{
                 fontSize: "11px",
-                color: "#666",
+                color: COLORS.GRAY_M,
                 marginTop: "-10px",
                 // special case: button='' explicitly means no label
                 width: cmd.button === "" ? undefined : "50px",
diff --git a/src/packages/frontend/frame-editors/frame-tree/title-bar.tsx b/src/packages/frontend/frame-editors/frame-tree/title-bar.tsx
index 382049658b..67bb8337b8 100644
--- a/src/packages/frontend/frame-editors/frame-tree/title-bar.tsx
+++ b/src/packages/frontend/frame-editors/frame-tree/title-bar.tsx
@@ -8,11 +8,13 @@
 FrameTitleBar - title bar in a frame, in the frame tree
 */
 
-import { Button, Input, InputNumber, Popover, Tooltip } from "antd";
+import { ButtonGroup } from "@cocalc/frontend/antd-bootstrap";
+import { Button, Dropdown, Input, InputNumber, Popover, Tooltip } from "antd";
+import type { MenuProps } from "antd/lib";
 import { List } from "immutable";
 import { useMemo, useRef } from "react";
 import { useIntl } from "react-intl";
-import { ButtonGroup } from "@cocalc/frontend/antd-bootstrap";
+
 import {
   CSS,
   redux,
@@ -38,6 +40,7 @@ import { excludeFromComputeServer } from "@cocalc/frontend/file-associations";
 import { NotebookFrameActions } from "@cocalc/frontend/frame-editors/jupyter-editor/cell-notebook/actions";
 import { IntlMessage, isIntlMessage, labels } from "@cocalc/frontend/i18n";
 import { JupyterActions } from "@cocalc/frontend/jupyter/browser-actions";
+import { ACTIVITY_BAR_TOGGLE_LABELS } from "@cocalc/frontend/project/page/activity-bar-consts";
 import { AIGenerateDocumentModal } from "@cocalc/frontend/project/page/home-page/ai-generate-document";
 import { isSupportedExtension } from "@cocalc/frontend/project/page/home-page/ai-generate-examples";
 import { AvailableFeatures } from "@cocalc/frontend/project_configuration";
@@ -270,6 +273,10 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
   const otherSettings = useRedux(["account", "other_settings"]);
   //  const hideButtonTooltips = otherSettings.get("hide_button_tooltips");
   const darkMode = otherSettings.get("dark_mode");
+  const showSymbolBarLabels = otherSettings.get(
+    "show_symbol_bar_labels",
+    false,
+  );
   const disableTourRefs = useRef<boolean>(false);
   const tourRefs = useRef<{ [name: string]: { current: any } }>({});
   const getTourRef = (name: string) => {
@@ -710,8 +717,8 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
             label === APPLICATION_MENU
               ? manageCommands.applicationMenuTitle()
               : isIntlMessage(label)
-                ? intl.formatMessage(label)
-                : label
+              ? intl.formatMessage(label)
+              : label
           }
           items={v}
         />
@@ -1060,6 +1067,11 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
       return null;
     }
     const { disabled, label, key, children, onClick } = item;
+    const style: CSS = {
+      color: "#333",
+      padding: showSymbolBarLabels ? "0" : "7.5px 0 0 0",
+      height: showSymbolBarLabels ? "36px" : undefined,
+    } as const;
     if (children != null) {
       return (
         <DropdownMenu
@@ -1068,7 +1080,7 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
           title={label}
           items={children}
           button={false}
-          style={{ color: "#333", padding: "7.5px 0 0 0" }}
+          style={style}
         />
       );
     } else {
@@ -1079,7 +1091,7 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
           key={key}
           disabled={disabled}
           onClick={onClick}
-          style={{ color: "#333", padding: "7.5px 0 0 0" }}
+          style={style}
         >
           {label}
         </Button>
@@ -1087,6 +1099,45 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
     }
   }
 
+  function wrapButtonBarContextMenu(bar: React.JSX.Element) {
+    const showSymbolLabel = (
+      <>
+        <Tooltip
+          title={intl.formatMessage({
+            id: "frame_editors.frame_tree.title_bar.symbols.label.explanation",
+            defaultMessage:
+              "If labels are shown, the symbol bar is placed in its own row beneath the menu – otherwise it is smaller and next to the menu.",
+          })}
+        >
+          <Icon name="signature-outlined" />{" "}
+          {intl.formatMessage(ACTIVITY_BAR_TOGGLE_LABELS, {
+            show: showSymbolBarLabels,
+          })}
+        </Tooltip>
+      </>
+    );
+    const items: MenuProps["items"] = [
+      {
+        key: "toggle-labels",
+        label: showSymbolLabel,
+        onClick: () => {
+          redux
+            .getActions("account")
+            .set_other_settings("show_symbol_bar_labels", !showSymbolBarLabels);
+        },
+      },
+    ];
+    return (
+      <Dropdown
+        trigger={["contextMenu"]}
+        menu={{ items }}
+        overlayStyle={{ maxWidth: "400px" }}
+      >
+        {bar}
+      </Dropdown>
+    );
+  }
+
   function renderButtonBar(popup = false) {
     if (!is_active) {
       return null;
@@ -1105,7 +1156,24 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
     if (v.length == 0) {
       return null;
     }
-    return <div style={{ marginTop: "5px" }}>{v}</div>;
+    // if labels are shown, we render two rows – otherwise symbols are next to the menu and frame controls
+    if (showSymbolBarLabels) {
+      return wrapButtonBarContextMenu(
+        <div
+          style={{
+            borderBottom: popup ? undefined : "1px solid #ccc",
+            background: "#fafafa",
+            opacity: is_active ? undefined : 0.3,
+          }}
+        >
+          <div style={{ marginBottom: "-1px", marginTop: "1px" }}>{v}</div>
+        </div>,
+      );
+    } else {
+      return wrapButtonBarContextMenu(
+        <div style={{ marginTop: "3px" }}>{v}</div>,
+      );
+    }
   }
 
   function renderComputeServerDocStatus() {
@@ -1253,9 +1321,10 @@ export function FrameTitleBar(props: FrameTitleBarProps) {
           {renderMainMenusAndButtons()}
           {is_active && renderConnectionStatus()}
           {is_active && allButtonsPopover()}
-          {renderButtonBar()}
+          {!showSymbolBarLabels ? renderButtonBar() : undefined}
           {renderFrameControls()}
         </div>
+        {showSymbolBarLabels ? renderButtonBar() : undefined}
         {renderConfirmBar()}
         {hasTour && props.is_visible && props.tab_is_visible && (
           <TitleBarTour refs={tourRefs} />
diff --git a/src/packages/frontend/i18n/trans/ar_EG.json b/src/packages/frontend/i18n/trans/ar_EG.json
index 1e1f414a1a..b840df889d 100644
--- a/src/packages/frontend/i18n/trans/ar_EG.json
+++ b/src/packages/frontend/i18n/trans/ar_EG.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>إخفاء الملفات:</strong> تظليل الملفات في عارض الملفات التي ربما لا تريد فتحها",
   "account.other-settings.project_popovers": "<strong>إخفاء النوافذ المنبثقة لعلامات التبويب في المشروع:</strong> لا تعرض النوافذ المنبثقة فوق علامات تبويب المشروع",
   "account.other-settings.standby_timeout": "مهلة الانتظار",
+  "account.other-settings.symbol_bar_labels": "<strong>إظهار تسميات شريط الرموز:</strong> إظهار التسميات في شريط رموز محرر الإطار",
   "account.other-settings.theme": "السمة",
   "account.other-settings.theme.antd.animations": "<b>الرسوم المتحركة</b>: تحريك بعض العناصر بإيجاز، مثل الأزرار",
   "account.other-settings.theme.antd.color_scheme": "مخطط الألوان: استخدم ألوان العلامة التجارية بدلاً من الألوان الافتراضية",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "أغلق هذا الإطار",
   "frame_editors.frame_tree.title_bar.maximize": "عرض هذا الإطار فقط",
   "frame_editors.frame_tree.title_bar.minimize": "عرض كافة الإطارات",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "إذا تم عرض التسميات، يتم وضع شريط الرموز في صف خاص به تحت القائمة – وإلا فإنه يكون أصغر ويكون بجانب القائمة.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {انقر على الأيقونة لإزالتها من شريط الأدوات} other {انقر على الأيقونة لإضافتها إلى شريط الأدوات}}",
   "i18n.localization.lang.arabic": "العربية",
   "i18n.localization.lang.chinese": "الصينية",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "الموقع:",
   "project.page.project-licenses.header": "الحصص و{upgrades}",
   "project.page.project-licenses.intro": "التراخيص والترقيات حسب الاستخدام تغير الحصص والميزات المتاحة للمشروع",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {إخفاء التسميات} other {إظهار التسميات}}",
   "project.servers.project-servers.description": "يمكنك تشغيل خوادم دفتر ملاحظات مختلفة داخل هذا المشروع بنقرة واحدة. تعمل في نفس البيئة، وتصل إلى نفس الملفات، وتتوقف عندما يتوقف المشروع. يمكنك أيضًا <A>تشغيل خوادمك الخاصة</A>.",
   "project.settings.about-box.description.label": "الوصف (ماركداون)",
   "project.settings.about-box.image.label": "صورة (اختياري)",
diff --git a/src/packages/frontend/i18n/trans/de_DE.json b/src/packages/frontend/i18n/trans/de_DE.json
index d75c8c39b2..b61ab096e2 100644
--- a/src/packages/frontend/i18n/trans/de_DE.json
+++ b/src/packages/frontend/i18n/trans/de_DE.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Dateien maskieren:</strong> Dateien im Dateibetrachter ausgrauen, die Sie wahrscheinlich nicht öffnen möchten",
   "account.other-settings.project_popovers": "<strong>Projekt-Tab-Popovers ausblenden:</strong> die Popovers über den Projekt-Tabs nicht anzeigen",
   "account.other-settings.standby_timeout": "Standby-Timeout",
+  "account.other-settings.symbol_bar_labels": "<strong>Symbolleistensymbol-Beschriftungen anzeigen:</strong> Beschriftungen in der Symbolleiste des Rahmeneditors anzeigen",
   "account.other-settings.theme": "Thema",
   "account.other-settings.theme.antd.animations": "<b>Animationen</b>: einige Aspekte kurz animieren, z. B. Schaltflächen",
   "account.other-settings.theme.antd.color_scheme": "<b>Farbschema</b>: Verwenden Sie Markenfarben anstelle der Standardfarben",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Schließe dieses Fenster",
   "frame_editors.frame_tree.title_bar.maximize": "Nur dieses Fenster anzeigen",
   "frame_editors.frame_tree.title_bar.minimize": "Alle Fenster anzeigen",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Wenn Beschriftungen angezeigt werden, befindet sich die Symbolleiste in einer eigenen Zeile unterhalb des Menüs – andernfalls ist sie kleiner und neben dem Menü.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Klicken Sie auf das Symbol, um es aus der Symbolleiste zu entfernen} other {Klicken Sie auf das Symbol, um es zur Symbolleiste hinzuzufügen}}",
   "i18n.localization.lang.arabic": "Arabisch",
   "i18n.localization.lang.chinese": "Chinesisch",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Verzeichnis:",
   "project.page.project-licenses.header": "Quoten und {upgrades}",
   "project.page.project-licenses.intro": "Lizenzen und Pay-as-you-go-Upgrades ändern die Quoten und Funktionen, die einem Projekt zur Verfügung stehen.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Beschriftungen ausblenden} other {Beschriftungen anzeigen}}",
   "project.servers.project-servers.description": "Sie können verschiedene Notebook-Server in diesem Projekt mit einem Klick starten. Sie laufen in derselben Umgebung, haben Zugriff auf dieselben Dateien und stoppen, wenn das Projekt stoppt. Sie können auch <A>Ihren eigenen Server starten</A>.",
   "project.settings.about-box.description.label": "Beschreibung (Markdown)",
   "project.settings.about-box.image.label": "Bild (optional)",
diff --git a/src/packages/frontend/i18n/trans/es_ES.json b/src/packages/frontend/i18n/trans/es_ES.json
index b32f143748..6f8daa2301 100644
--- a/src/packages/frontend/i18n/trans/es_ES.json
+++ b/src/packages/frontend/i18n/trans/es_ES.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Archivos ocultos:</strong> atenuar archivos en el visor de archivos que probablemente no desees abrir",
   "account.other-settings.project_popovers": "<strong>Ocultar los Popovers de Pestañas de Proyecto:</strong> no mostrar los popovers sobre las pestañas del proyecto",
   "account.other-settings.standby_timeout": "Tiempo de espera en espera",
+  "account.other-settings.symbol_bar_labels": "<strong>Mostrar etiquetas de la barra de símbolos:</strong> mostrar etiquetas en la barra de símbolos del editor de marcos",
   "account.other-settings.theme": "Tema",
   "account.other-settings.theme.antd.animations": "<b>Animaciones</b>: animar brevemente algunos aspectos, p. ej., botones",
   "account.other-settings.theme.antd.color_scheme": "<b>Esquema de Color</b>: usar colores de marca en lugar de colores predeterminados",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Cerrar este marco",
   "frame_editors.frame_tree.title_bar.maximize": "Mostrar solo este marco",
   "frame_editors.frame_tree.title_bar.minimize": "Mostrar todos los marcos",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Si se muestran las etiquetas, la barra de símbolos se coloca en su propia fila debajo del menú; de lo contrario, es más pequeña y está al lado del menú.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Haga clic en el icono para quitar de la barra de herramientas} other {Haga clic en el icono para añadir a la barra de herramientas}}",
   "i18n.localization.lang.arabic": "Árabe",
   "i18n.localization.lang.chinese": "Chino",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Ubicación:",
   "project.page.project-licenses.header": "Cuotas y {upgrades}",
   "project.page.project-licenses.intro": "Las licencias y las actualizaciones de pago por uso cambian las cuotas y características disponibles para un proyecto",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Ocultar etiquetas} other {Mostrar etiquetas}}",
   "project.servers.project-servers.description": "Puedes ejecutar varios servidores de cuadernos dentro de este proyecto con un solo clic. Se ejecutan en el mismo entorno, tienen acceso a los mismos archivos y se detienen cuando el proyecto se detiene. También puedes <A>ejecutar tus propios servidores</A>.",
   "project.settings.about-box.description.label": "Descripción (markdown)",
   "project.settings.about-box.image.label": "Imagen (opcional)",
diff --git a/src/packages/frontend/i18n/trans/fr_FR.json b/src/packages/frontend/i18n/trans/fr_FR.json
index 1d70e61845..f40c549ddc 100644
--- a/src/packages/frontend/i18n/trans/fr_FR.json
+++ b/src/packages/frontend/i18n/trans/fr_FR.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Masquer les fichiers :</strong> griser les fichiers dans le visualiseur de fichiers que vous ne souhaitez probablement pas ouvrir",
   "account.other-settings.project_popovers": "<strong>Masquer les popovers des onglets de projet :</strong> ne pas afficher les popovers au-dessus des onglets de projet",
   "account.other-settings.standby_timeout": "Délai d'attente en veille",
+  "account.other-settings.symbol_bar_labels": "<strong>Afficher les étiquettes de la barre de symboles :</strong> afficher les étiquettes dans la barre de symboles de l'éditeur de cadre",
   "account.other-settings.theme": "Thème",
   "account.other-settings.theme.antd.animations": "<b>Animations</b> : animer brièvement certains aspects, par exemple les boutons",
   "account.other-settings.theme.antd.color_scheme": "<b>Schéma de couleurs</b> : utiliser les couleurs de marque au lieu des couleurs par défaut",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Fermer ce cadre",
   "frame_editors.frame_tree.title_bar.maximize": "Afficher seulement ce cadre",
   "frame_editors.frame_tree.title_bar.minimize": "Afficher tous les cadres",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Si les étiquettes sont affichées, la barre de symboles est placée sur sa propre ligne sous le menu – sinon elle est plus petite et à côté du menu.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Cliquez sur l'icône pour retirer de la barre d'outils} other {Cliquez sur l'icône pour ajouter à la barre d'outils}}",
   "i18n.localization.lang.arabic": "Arabe",
   "i18n.localization.lang.chinese": "Chinois",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Emplacement :",
   "project.page.project-licenses.header": "Quotas et {upgrades}",
   "project.page.project-licenses.intro": "Les licences et les mises à niveau à la carte modifient les quotas et les fonctionnalités disponibles pour un projet.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Masquer les étiquettes} other {Afficher les étiquettes}}",
   "project.servers.project-servers.description": "Vous pouvez exécuter divers serveurs de notebooks à l'intérieur de ce projet en un clic. Ils fonctionnent dans le même environnement, ont accès aux mêmes fichiers et s'arrêtent lorsque le projet s'arrête. Vous pouvez également <A>exécuter vos propres serveurs</A>.",
   "project.settings.about-box.description.label": "Description (markdown)",
   "project.settings.about-box.image.label": "Image (optionnel)",
diff --git a/src/packages/frontend/i18n/trans/he_IL.json b/src/packages/frontend/i18n/trans/he_IL.json
index f7cd3a8781..d028cb8147 100644
--- a/src/packages/frontend/i18n/trans/he_IL.json
+++ b/src/packages/frontend/i18n/trans/he_IL.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>הסתר קבצים:</strong> האפור קבצים בצופה הקבצים שבדרך כלל לא תרצה לפתוח",
   "account.other-settings.project_popovers": "<strong>הסתרת פופאברים בכרטיסיות הפרויקט:</strong> אל תציג את הפופאברים מעל כרטיסיות הפרויקט",
   "account.other-settings.standby_timeout": "פסק זמן במצב המתנה",
+  "account.other-settings.symbol_bar_labels": "<strong>הצג תוויות סרגל סמלים:</strong> הצג תוויות בסרגל הסמלים בעורך המסגרת",
   "account.other-settings.theme": "ערכת נושא",
   "account.other-settings.theme.antd.animations": "<b>אנימציות</b>: הנפשה קצרה של חלקים מסוימים, למשל כפתורים",
   "account.other-settings.theme.antd.color_scheme": "<b>ערכת צבעים</b>: השתמש בצבעי המותג במקום בצבעי ברירת המחדל",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "סגור מסגרת זו",
   "frame_editors.frame_tree.title_bar.maximize": "הצג רק את המסגרת הזו",
   "frame_editors.frame_tree.title_bar.minimize": "הצג את כל המסגרות",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "אם תוויות מוצגות, סרגל הסמלים ממוקם בשורה משלו מתחת לתפריט – אחרת הוא קטן יותר וליד התפריט.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {לחץ על הסמל להסרה מסרגל הכלים} other {לחץ על הסמל להוספה לסרגל הכלים}}",
   "i18n.localization.lang.arabic": "ערבית",
   "i18n.localization.lang.chinese": "סינית",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "מיקום",
   "project.page.project-licenses.header": "מכסה ושדרוגים",
   "project.page.project-licenses.intro": "רישיונות ושדרוגים לפי שימוש משנים את המכסות והתכונות הזמינות לפרויקט",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {הסתר תוויות} other {הצג תוויות}}",
   "project.servers.project-servers.description": "ניתן להפעיל שרתי מחברות שונים בתוך הפרויקט הזה בלחיצה אחת. הם פועלים באותה סביבה, יש להם גישה לאותם קבצים, והם נעצרים כאשר הפרויקט נעצר. ניתן גם <A>להפעיל שרתים משלכם</A>.",
   "project.settings.about-box.description.label": "תיאור (markdown)",
   "project.settings.about-box.image.label": "תמונה (אופציונלי)",
diff --git a/src/packages/frontend/i18n/trans/hi_IN.json b/src/packages/frontend/i18n/trans/hi_IN.json
index 79ecc5246b..f99228dea9 100644
--- a/src/packages/frontend/i18n/trans/hi_IN.json
+++ b/src/packages/frontend/i18n/trans/hi_IN.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>मास्क फाइल्स:</strong> उन फाइलों को ग्रे आउट करें जिन्हें आप शायद खोलना नहीं चाहते फाइल्स व्यूअर में",
   "account.other-settings.project_popovers": "<strong>प्रोजेक्ट टैब पॉपओवर छुपाएं:</strong> प्रोजेक्ट टैब पर पॉपओवर न दिखाएं",
   "account.other-settings.standby_timeout": "स्टैंडबाय टाइमआउट",
+  "account.other-settings.symbol_bar_labels": "<strong>प्रतीक पट्टी लेबल दिखाएं:</strong> फ्रेम संपादक प्रतीक पट्टी में लेबल दिखाएं",
   "account.other-settings.theme": "थीम",
   "account.other-settings.theme.antd.animations": "<b>एनिमेशन</b>: कुछ पहलुओं को संक्षेप में एनिमेट करें, जैसे बटन",
   "account.other-settings.theme.antd.color_scheme": "<b>रंग योजना</b>: डिफ़ॉल्ट रंगों के बजाय ब्रांड रंगों का उपयोग करें",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "इस फ्रेम को बंद करें",
   "frame_editors.frame_tree.title_bar.maximize": "केवल इस फ्रेम को दिखाएं",
   "frame_editors.frame_tree.title_bar.minimize": "सभी फ़्रेम दिखाएं",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "यदि लेबल दिखाए जाते हैं, तो प्रतीक पट्टी मेनू के नीचे अपनी पंक्ति में रखी जाती है – अन्यथा यह छोटी होती है और मेनू के पास होती है।",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {टूलबार से हटाने के लिए आइकन पर क्लिक करें} other {टूलबार में जोड़ने के लिए आइकन पर क्लिक करें}}",
   "i18n.localization.lang.arabic": "अरबी",
   "i18n.localization.lang.chinese": "चीनी",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "स्थान:",
   "project.page.project-licenses.header": "कोटा और {upgrades}",
   "project.page.project-licenses.intro": "लाइसेंस और पे-एज़-यू-गो अपग्रेड्स प्रोजेक्ट के लिए उपलब्ध कोटा और फीचर्स को बदलते हैं",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {लेबल छिपाएं} other {लेबल दिखाएं}}",
   "project.servers.project-servers.description": "आप इस प्रोजेक्ट के अंदर विभिन्न नोटबुक सर्वर एक क्लिक में चला सकते हैं। वे एक ही वातावरण में चलते हैं, एक ही फाइलों तक पहुँचते हैं, और प्रोजेक्ट के बंद होने पर बंद हो जाते हैं। आप <A>अपने खुद के सर्वर भी चला सकते हैं</A>।",
   "project.settings.about-box.description.label": "विवरण (मार्कडाउन)",
   "project.settings.about-box.image.label": "चित्र (वैकल्पिक)",
diff --git a/src/packages/frontend/i18n/trans/hu_HU.json b/src/packages/frontend/i18n/trans/hu_HU.json
index b8ebd86acd..1bc191263c 100644
--- a/src/packages/frontend/i18n/trans/hu_HU.json
+++ b/src/packages/frontend/i18n/trans/hu_HU.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Fájlok elrejtése:</strong> szürkítse el a fájlokat a fájlnézegetőben, amelyeket valószínűleg nem akar megnyitni",
   "account.other-settings.project_popovers": "<strong>Projektfülek felugróinak elrejtése:</strong> ne jelenítse meg a felugrókat a projektfülek felett",
   "account.other-settings.standby_timeout": "Készenléti időkorlát",
+  "account.other-settings.symbol_bar_labels": "<strong>Szimbólumsáv címkéinek megjelenítése:</strong> címkék megjelenítése a keret szerkesztő szimbólumsávjában",
   "account.other-settings.theme": "Téma",
   "account.other-settings.theme.antd.animations": "<b>Animációk</b>: röviden animálni néhány elemet, pl. gombokat",
   "account.other-settings.theme.antd.color_scheme": "<b>Színséma</b>: márka színek használata az alapértelmezett színek helyett",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Zárja be ezt a keretet",
   "frame_editors.frame_tree.title_bar.maximize": "Csak ezt a keretet mutassa",
   "frame_editors.frame_tree.title_bar.minimize": "Mutasd az összes képkockát",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Ha címkék láthatók, a szimbólumsáv a menü alatt, saját sorában helyezkedik el – ellenkező esetben kisebb, és a menü mellett van.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Kattintson az ikonra az eszköztárról való eltávolításhoz} other {Kattintson az ikonra az eszköztárhoz adáshoz}}",
   "i18n.localization.lang.arabic": "Arab",
   "i18n.localization.lang.chinese": "Kínai",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Helyszín:",
   "project.page.project-licenses.header": "Kvóták és {upgrades}",
   "project.page.project-licenses.intro": "A licencek és a fizetés alapú frissítések megváltoztatják a projekthez elérhető kvótákat és funkciókat.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Címkék elrejtése} other {Címkék megjelenítése}}",
   "project.servers.project-servers.description": "Egyetlen kattintással különböző notebook szervereket futtathatsz ebben a projektben. Ugyanabban a környezetben futnak, hozzáférnek ugyanazokhoz a fájlokhoz, és leállnak, amikor a projekt leáll. Saját szervereket is <A>futtathatsz</A>.",
   "project.settings.about-box.description.label": "Leírás (markdown)",
   "project.settings.about-box.image.label": "Kép (nem kötelező)",
diff --git a/src/packages/frontend/i18n/trans/it_IT.json b/src/packages/frontend/i18n/trans/it_IT.json
index f11221835e..edab9b0e6d 100644
--- a/src/packages/frontend/i18n/trans/it_IT.json
+++ b/src/packages/frontend/i18n/trans/it_IT.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Maschera file:</strong> disattiva i file nel visualizzatore di file che probabilmente non vuoi aprire",
   "account.other-settings.project_popovers": "<strong>Nascondi i Popover delle Schede del Progetto:</strong> non mostrare i popover sulle schede del progetto",
   "account.other-settings.standby_timeout": "Timeout di attesa",
+  "account.other-settings.symbol_bar_labels": "<strong>Mostra etichette barra simboli:</strong> mostra etichette nella barra simboli dell'editor di frame",
   "account.other-settings.theme": "Tema",
   "account.other-settings.theme.antd.animations": "<b>Animazioni</b>: animare brevemente alcuni aspetti, ad es. pulsanti",
   "account.other-settings.theme.antd.color_scheme": "<b>Schema Colori</b>: usa i colori del marchio invece dei colori predefiniti",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Chiudi questo frame",
   "frame_editors.frame_tree.title_bar.maximize": "Mostra solo questo frame",
   "frame_editors.frame_tree.title_bar.minimize": "Mostra tutti i frame",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Se vengono mostrati i label, la barra dei simboli è posizionata in una propria riga sotto il menu – altrimenti è più piccola e accanto al menu.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Clicca l'icona per rimuovere dalla barra degli strumenti} other {Clicca l'icona per aggiungere alla barra degli strumenti}}",
   "i18n.localization.lang.arabic": "Arabo",
   "i18n.localization.lang.chinese": "Cinese",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Località:",
   "project.page.project-licenses.header": "Quote e {upgrades}",
   "project.page.project-licenses.intro": "Le licenze e gli aggiornamenti pay as you go cambiano le quote e le funzionalità disponibili per un progetto.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Nascondi etichette} other {Mostra etichette}}",
   "project.servers.project-servers.description": "Puoi eseguire vari server notebook all'interno di questo progetto con un solo clic. Funzionano nello stesso ambiente, hanno accesso agli stessi file e si fermano quando il progetto si ferma. Puoi anche <A>eseguire i tuoi server</A>.",
   "project.settings.about-box.description.label": "Descrizione (markdown)",
   "project.settings.about-box.image.label": "Immagine (opzionale)",
diff --git a/src/packages/frontend/i18n/trans/ja_JP.json b/src/packages/frontend/i18n/trans/ja_JP.json
index 81fca24e28..4435c528e4 100644
--- a/src/packages/frontend/i18n/trans/ja_JP.json
+++ b/src/packages/frontend/i18n/trans/ja_JP.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>マスクファイル:</strong> 開きたくないファイルをファイルビューアでグレーアウト",
   "account.other-settings.project_popovers": "<strong>プロジェクトタブのポップオーバーを非表示:</strong> プロジェクトタブ上のポップオーバーを表示しない",
   "account.other-settings.standby_timeout": "待機タイムアウト",
+  "account.other-settings.symbol_bar_labels": "<strong>シンボルバーラベルを表示：</strong>フレームエディタのシンボルバーにラベルを表示",
   "account.other-settings.theme": "テーマ",
   "account.other-settings.theme.antd.animations": "アニメーション: ボタンなどの要素を簡潔にアニメーション化",
   "account.other-settings.theme.antd.color_scheme": "<b>カラー スキーム</b>: デフォルトの色ではなくブランドの色を使用",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "このフレームを閉じる",
   "frame_editors.frame_tree.title_bar.maximize": "このフレームのみを表示",
   "frame_editors.frame_tree.title_bar.minimize": "すべてのフレームを表示",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "ラベルが表示されている場合、シンボルバーはメニューの下に独自の行に配置されます。表示されていない場合は、メニューの横に小さく表示されます。",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {アイコンをクリックしてツールバーから削除} other {アイコンをクリックしてツールバーに追加}}",
   "i18n.localization.lang.arabic": "アラビア語",
   "i18n.localization.lang.chinese": "中国語",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "場所:",
   "project.page.project-licenses.header": "クォータと{upgrades}",
   "project.page.project-licenses.intro": "ライセンスおよび従量制アップグレードは、プロジェクトに利用可能なクォータと機能を変更します",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {ラベルを隠す} other {ラベルを表示}}",
   "project.servers.project-servers.description": "このプロジェクト内で様々なノートブックサーバーをワンクリックで実行できます。それらは同じ環境で動作し、同じファイルにアクセスし、プロジェクトが停止すると停止します。また、<A>自分のサーバーを実行する</A>こともできます。",
   "project.settings.about-box.description.label": "説明 (markdown)",
   "project.settings.about-box.image.label": "画像（オプション）",
diff --git a/src/packages/frontend/i18n/trans/ko_KR.json b/src/packages/frontend/i18n/trans/ko_KR.json
index 058fbc446a..51f7f9c8b5 100644
--- a/src/packages/frontend/i18n/trans/ko_KR.json
+++ b/src/packages/frontend/i18n/trans/ko_KR.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>파일 숨기기:</strong> 파일 뷰어에서 열고 싶지 않은 파일을 회색으로 표시",
   "account.other-settings.project_popovers": "<strong>프로젝트 탭 팝오버 숨기기:</strong> 프로젝트 탭 위에 팝오버를 표시하지 않음",
   "account.other-settings.standby_timeout": "대기 시간 초과",
+  "account.other-settings.symbol_bar_labels": "<strong>기호 막대 레이블 표시:</strong> 프레임 편집기 기호 막대에 레이블 표시",
   "account.other-settings.theme": "테마",
   "account.other-settings.theme.antd.animations": "애니메이션: 버튼과 같은 일부 측면을 간단히 애니메이션화합니다",
   "account.other-settings.theme.antd.color_scheme": "색상 테마: 기본 색상 대신 브랜드 색상 사용",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "이 프레임 닫기",
   "frame_editors.frame_tree.title_bar.maximize": "이 프레임만 보기",
   "frame_editors.frame_tree.title_bar.minimize": "모든 프레임 표시",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "레이블이 표시되면, 기호 막대는 메뉴 아래의 자체 행에 배치됩니다 – 그렇지 않으면 더 작아지고 메뉴 옆에 있습니다.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {아이콘을 클릭하여 툴바에서 제거} other {아이콘을 클릭하여 툴바에 추가}}",
   "i18n.localization.lang.arabic": "아랍어",
   "i18n.localization.lang.chinese": "중국어",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "위치:",
   "project.page.project-licenses.header": "할당량 및 {upgrades}",
   "project.page.project-licenses.intro": "라이선스와 사용량에 따른 업그레이드는 프로젝트에 이용 가능한 할당량과 기능을 변경합니다.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {레이블 숨기기} other {레이블 표시}}",
   "project.servers.project-servers.description": "이 프로젝트 안에서 다양한 노트북 서버를 한 번의 클릭으로 실행할 수 있습니다. 서버는 같은 환경에서 실행되며, 같은 파일에 접근하고 프로젝트가 중지되면 서버도 중지됩니다. 또한 <A>자신의 서버를 실행할</A> 수도 있습니다.",
   "project.settings.about-box.description.label": "설명 (마크다운)",
   "project.settings.about-box.image.label": "이미지 (선택 사항)",
diff --git a/src/packages/frontend/i18n/trans/nl_NL.json b/src/packages/frontend/i18n/trans/nl_NL.json
index 18321d447e..339538470c 100644
--- a/src/packages/frontend/i18n/trans/nl_NL.json
+++ b/src/packages/frontend/i18n/trans/nl_NL.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Masker bestanden:</strong> grijs bestanden uit in de bestandsweergave die je waarschijnlijk niet wilt openen",
   "account.other-settings.project_popovers": "<strong>Verberg Projecttabblad Popovers:</strong> toon de popovers niet boven de projecttabbladen",
   "account.other-settings.standby_timeout": "Standby-timeout",
+  "account.other-settings.symbol_bar_labels": "<strong>Toon Symbolenbalk Labels:</strong> toon labels in de frame-editor symbolenbalk",
   "account.other-settings.theme": "Thema",
   "account.other-settings.theme.antd.animations": "<b>Animaties</b>: kort sommige aspecten animeren, bijv. knoppen",
   "account.other-settings.theme.antd.color_scheme": "<b>Kleurschema</b>: gebruik merkkleuren in plaats van standaardkleuren",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Sluit dit frame. Om de standaardindeling te herstellen, sluit alle frames.",
   "frame_editors.frame_tree.title_bar.maximize": "Toon alleen dit frame",
   "frame_editors.frame_tree.title_bar.minimize": "Toon alle frames",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Als labels worden weergegeven, wordt de symbolenbalk in een eigen rij onder het menu geplaatst – anders is deze kleiner en naast het menu.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Klik op het pictogram om van de werkbalk te verwijderen} other {Klik op het pictogram om aan de werkbalk toe te voegen}}",
   "i18n.localization.lang.arabic": "Arabisch",
   "i18n.localization.lang.chinese": "Chinees",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Locatie:",
   "project.page.project-licenses.header": "Quota's en {upgrades}",
   "project.page.project-licenses.intro": "Licenties en upgrades op basis van betalen per gebruik veranderen de quota en functies die beschikbaar zijn voor een project.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Labels verbergen} other {Labels tonen}}",
   "project.servers.project-servers.description": "Je kunt verschillende notebook-servers binnen dit project met één klik uitvoeren. Ze draaien in dezelfde omgeving, hebben toegang tot dezelfde bestanden, en stoppen wanneer het project stopt. Je kunt ook <A>je eigen servers draaien</A>.",
   "project.settings.about-box.description.label": "Beschrijving (markdown)",
   "project.settings.about-box.image.label": "Afbeelding (optioneel)",
diff --git a/src/packages/frontend/i18n/trans/pl_PL.json b/src/packages/frontend/i18n/trans/pl_PL.json
index 60331698e5..575c212d90 100644
--- a/src/packages/frontend/i18n/trans/pl_PL.json
+++ b/src/packages/frontend/i18n/trans/pl_PL.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Maskuj pliki:</strong> wyszarz pliki w przeglądarce plików, których prawdopodobnie nie chcesz otworzyć",
   "account.other-settings.project_popovers": "<strong>Ukryj dymki kart projektu:</strong> nie pokazuj dymków nad kartami projektu",
   "account.other-settings.standby_timeout": "Limit czasu w trybie gotowości",
+  "account.other-settings.symbol_bar_labels": "<strong>Pokaż etykiety paska symboli:</strong> pokaż etykiety na pasku symboli edytora ramki",
   "account.other-settings.theme": "Motyw",
   "account.other-settings.theme.antd.animations": "<b>Animacje</b>: krótko animuj niektóre aspekty, np. przyciski",
   "account.other-settings.theme.antd.color_scheme": "<b>Schemat kolorów</b>: użyj kolorów marki zamiast domyślnych kolorów",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Zamknij to okno",
   "frame_editors.frame_tree.title_bar.maximize": "Pokaż tylko tę ramkę",
   "frame_editors.frame_tree.title_bar.minimize": "Pokaż wszystkie ramki",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Jeśli etykiety są wyświetlane, pasek symboli jest umieszczony w osobnym wierszu pod menu – w przeciwnym razie jest mniejszy i znajduje się obok menu.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Kliknij ikonę, aby usunąć z paska narzędzi} other {Kliknij ikonę, aby dodać do paska narzędzi}}",
   "i18n.localization.lang.arabic": "Arabski",
   "i18n.localization.lang.chinese": "Chiński",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Lokalizacja:",
   "project.page.project-licenses.header": "Limity i {upgrades}",
   "project.page.project-licenses.intro": "Licencje i ulepszenia pay as you go zmieniają limity i funkcje dostępne dla projektu.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Ukryj etykiety} other {Pokaż etykiety}}",
   "project.servers.project-servers.description": "Możesz uruchomić różne serwery notebooków w tym projekcie jednym kliknięciem. Działają w tym samym środowisku, mają dostęp do tych samych plików i zatrzymują się, gdy projekt się zatrzymuje. Możesz także <A>uruchomić własne serwery</A>.",
   "project.settings.about-box.description.label": "Opis (markdown)",
   "project.settings.about-box.image.label": "Obraz (opcjonalnie)",
diff --git a/src/packages/frontend/i18n/trans/pt_PT.json b/src/packages/frontend/i18n/trans/pt_PT.json
index d5722a2f59..9e8923a714 100644
--- a/src/packages/frontend/i18n/trans/pt_PT.json
+++ b/src/packages/frontend/i18n/trans/pt_PT.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Mascarar ficheiros:</strong> esbater ficheiros no visualizador de ficheiros que provavelmente não quer abrir",
   "account.other-settings.project_popovers": "<strong>Ocultar Pop-ups das Abas do Projeto:</strong> não mostrar os pop-ups sobre as abas do projeto",
   "account.other-settings.standby_timeout": "Tempo limite de espera",
+  "account.other-settings.symbol_bar_labels": "<strong>Mostrar Etiquetas da Barra de Símbolos:</strong> mostrar etiquetas na barra de símbolos do editor de frames",
   "account.other-settings.theme": "Tema",
   "account.other-settings.theme.antd.animations": "<b>Animações</b>: animar brevemente alguns aspetos, por exemplo, botões",
   "account.other-settings.theme.antd.color_scheme": "<b>Esquema de Cores</b>: usar cores da marca em vez de cores padrão",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Fechar esta janela",
   "frame_editors.frame_tree.title_bar.maximize": "Mostrar apenas este quadro",
   "frame_editors.frame_tree.title_bar.minimize": "Mostrar todos os quadros",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Se as etiquetas forem mostradas, a barra de símbolos é colocada numa linha própria abaixo do menu – caso contrário, é menor e fica ao lado do menu.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Clique no ícone para remover da barra de ferramentas} other {Clique no ícone para adicionar à barra de ferramentas}}",
   "i18n.localization.lang.arabic": "Árabe",
   "i18n.localization.lang.chinese": "Chinês",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Localização:",
   "project.page.project-licenses.header": "Quotas e {upgrades}",
   "project.page.project-licenses.intro": "Licenças e atualizações pagas conforme o uso alteram as quotas e funcionalidades disponíveis para um projeto.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Ocultar etiquetas} other {Mostrar etiquetas}}",
   "project.servers.project-servers.description": "Pode executar vários servidores de cadernos dentro deste projeto com um clique. Eles funcionam no mesmo ambiente, têm acesso aos mesmos ficheiros e param quando o projeto para. Também pode <A>executar os seus próprios servidores</A>.",
   "project.settings.about-box.description.label": "Descrição (markdown)",
   "project.settings.about-box.image.label": "Imagem (opcional)",
diff --git a/src/packages/frontend/i18n/trans/ru_RU.json b/src/packages/frontend/i18n/trans/ru_RU.json
index dd1d16859e..7c0b371e48 100644
--- a/src/packages/frontend/i18n/trans/ru_RU.json
+++ b/src/packages/frontend/i18n/trans/ru_RU.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Маскировать файлы:</strong> затенить файлы в просмотрщике файлов, которые вы, вероятно, не захотите открывать",
   "account.other-settings.project_popovers": "<strong>Скрыть всплывающие подсказки вкладок проекта:</strong> не показывать всплывающие подсказки над вкладками проекта",
   "account.other-settings.standby_timeout": "Таймаут ожидания",
+  "account.other-settings.symbol_bar_labels": "<strong>Показать метки панели символов:</strong> показывать метки на панели символов в редакторе фреймов",
   "account.other-settings.theme": "Тема",
   "account.other-settings.theme.antd.animations": "Анимации: кратко анимировать некоторые аспекты, например, кнопки",
   "account.other-settings.theme.antd.color_scheme": "Цветовая схема: использовать фирменные цвета вместо стандартных цветов",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Закрыть этот фрейм",
   "frame_editors.frame_tree.title_bar.maximize": "Показать только этот кадр",
   "frame_editors.frame_tree.title_bar.minimize": "Показать все кадры",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Если метки отображаются, панель символов размещается в отдельной строке под меню – в противном случае она меньше и находится рядом с меню.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Нажмите на значок, чтобы удалить с панели инструментов} other {Нажмите на значок, чтобы добавить на панель инструментов}}",
   "i18n.localization.lang.arabic": "Арабский",
   "i18n.localization.lang.chinese": "Китайский",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Местоположение:",
   "project.page.project-licenses.header": "Квоты и {upgrades}",
   "project.page.project-licenses.intro": "Лицензии и улучшения по мере использования изменяют квоты и функции, доступные для проекта.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Скрыть метки} other {Показать метки}}",
   "project.servers.project-servers.description": "Вы можете запустить различные серверы блокнотов внутри этого проекта одним кликом. Они работают в той же среде, имеют доступ к тем же файлам и останавливаются, когда проект останавливается. Вы также можете <A>запустить свои собственные серверы</A>.",
   "project.settings.about-box.description.label": "Описание (markdown)",
   "project.settings.about-box.image.label": "Изображение (необязательно)",
diff --git a/src/packages/frontend/i18n/trans/tr_TR.json b/src/packages/frontend/i18n/trans/tr_TR.json
index 7ff423bad3..119707cb19 100644
--- a/src/packages/frontend/i18n/trans/tr_TR.json
+++ b/src/packages/frontend/i18n/trans/tr_TR.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>Dosya maskesi:</strong> Dosya görüntüleyicide muhtemelen açmak istemediğiniz dosyaları gri renkte göster",
   "account.other-settings.project_popovers": "<strong>Proje Sekmesi Açılır Pencerelerini Gizle:</strong> proje sekmelerinin üzerindeki açılır pencereleri gösterme",
   "account.other-settings.standby_timeout": "Bekleme zaman aşımı",
+  "account.other-settings.symbol_bar_labels": "<strong>Sembol Çubuğu Etiketlerini Göster:</strong> çerçeve düzenleyici sembol çubuğunda etiketleri göster",
   "account.other-settings.theme": "Tema",
   "account.other-settings.theme.antd.animations": "<b>Animasyonlar</b>: bazı unsurları, örneğin düğmeleri kısaca canlandır",
   "account.other-settings.theme.antd.color_scheme": "<b>Renk Şeması</b>: varsayılan renkler yerine marka renklerini kullan",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "Bu çerçeveyi kapat",
   "frame_editors.frame_tree.title_bar.maximize": "Yalnızca bu çerçeveyi göster",
   "frame_editors.frame_tree.title_bar.minimize": "Tüm kareleri göster",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "Eğer etiketler gösteriliyorsa, sembol çubuğu menünün altındaki kendi satırına yerleştirilir – aksi takdirde daha küçük ve menünün yanındadır.",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {Araç çubuğundan kaldırmak için simgeye tıklayın} other {Araç çubuğuna eklemek için simgeye tıklayın}}",
   "i18n.localization.lang.arabic": "Arapça",
   "i18n.localization.lang.chinese": "Çince",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "Konum:",
   "project.page.project-licenses.header": "Kotalar ve {upgrades}",
   "project.page.project-licenses.intro": "Lisanslar ve kullanıldıkça öde yükseltmeleri, bir projeye sunulan kotaları ve özellikleri değiştirir.",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {Etiketleri gizle} other {Etiketleri göster}}",
   "project.servers.project-servers.description": "Bu proje içinde tek tıkla çeşitli defter sunucularını çalıştırabilirsiniz. Aynı ortamda çalışırlar, aynı dosyalara erişirler ve proje durduğunda dururlar. Ayrıca <A>kendi sunucularınızı çalıştırabilirsiniz</A>.",
   "project.settings.about-box.description.label": "Açıklama (markdown)",
   "project.settings.about-box.image.label": "Görsel (isteğe bağlı)",
diff --git a/src/packages/frontend/i18n/trans/zh_CN.json b/src/packages/frontend/i18n/trans/zh_CN.json
index 33388285c2..0690874908 100644
--- a/src/packages/frontend/i18n/trans/zh_CN.json
+++ b/src/packages/frontend/i18n/trans/zh_CN.json
@@ -81,6 +81,7 @@
   "account.other-settings.mask_files": "<strong>屏蔽文件：</strong>在文件查看器中将您可能不想打开的文件置灰",
   "account.other-settings.project_popovers": "<strong>隐藏项目标签弹出框：</strong>不在项目标签上显示弹出框",
   "account.other-settings.standby_timeout": "待机超时",
+  "account.other-settings.symbol_bar_labels": "<strong>显示符号栏标签：</strong>在框架编辑器符号栏中显示标签",
   "account.other-settings.theme": "主题",
   "account.other-settings.theme.antd.animations": "动画：简要动画某些方面，例如按钮",
   "account.other-settings.theme.antd.color_scheme": "<b>配色方案</b>: 使用品牌颜色而非默认颜色",
@@ -597,6 +598,7 @@
   "frame_editors.frame_tree.title_bar.close": "关闭此框架",
   "frame_editors.frame_tree.title_bar.maximize": "仅显示此框架",
   "frame_editors.frame_tree.title_bar.minimize": "显示所有帧",
+  "frame_editors.frame_tree.title_bar.symbols.label.explanation": "如果显示标签，符号栏位于菜单下方的单独一行中，否则它会更小并位于菜单旁边。",
   "frame-editors.frame-tree.add_remove_icon_button_bar.tooltip": "{isOnButtonBar, select, true {点击图标从工具栏移除} other {点击图标添加到工具栏}}",
   "i18n.localization.lang.arabic": "阿拉伯语",
   "i18n.localization.lang.chinese": "中文",
@@ -1257,7 +1259,6 @@
   "project.page.flyouts.new.header_location": "位置:",
   "project.page.project-licenses.header": "配额和{upgrades}",
   "project.page.project-licenses.intro": "许可证和按需付费升级更改项目的配额和可用功能",
-  "project.page.vertical-fixed-tabs.toggle-labels": "{show, select, true {隐藏标签} other {显示标签}}",
   "project.servers.project-servers.description": "您可以通过一次点击在此项目内运行各种笔记本服务器。它们在相同的环境中运行，访问相同的文件，并在项目停止时停止。您也可以<A>运行您自己的服务器</A>。",
   "project.settings.about-box.description.label": "描述 (markdown)",
   "project.settings.about-box.image.label": "图像（可选）",