From dde5f80b8bd0663b5d7bf83083b6857161791451 Mon Sep 17 00:00:00 2001 From: Mauro Balades Date: Fri, 23 Aug 2024 19:53:19 +0200 Subject: [PATCH] Fixed Ampersand & character in Workspace Name breaks Workspace Menu permanently --- src/ZenWorkspaces.mjs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/ZenWorkspaces.mjs b/src/ZenWorkspaces.mjs index 45502b8..f5fcf85 100644 --- a/src/ZenWorkspaces.mjs +++ b/src/ZenWorkspaces.mjs @@ -180,10 +180,10 @@ var ZenWorkspaces = { //element.setAttribute("context", "zenWorkspaceActionsMenu"); let childs = window.MozXULElement.parseXULToFragment(`
- ${this.getWorkspaceIcon(workspace)} + ${gZenUIManager.createValidXULText(this.getWorkspaceIcon(workspace))}
- ${workspace.name} + ${gZenUIManager.createValidXULText(workspace.name)}
@@ -273,10 +273,10 @@ var ZenWorkspaces = { if (activeWorkspace) { button.innerHTML = `
- ${this.getWorkspaceIcon(activeWorkspace)} + ${gZenUIManager.createValidXULText(this.getWorkspaceIcon(activeWorkspace))}
- ${activeWorkspace.name} + ${gZenUIManager.createValidXULText(activeWorkspace.name)}
`; if (!this.workspaceHasIcon(activeWorkspace)) { @@ -501,7 +501,7 @@ var ZenWorkspaces = { const activeWorkspace = workspaces.workspaces.find(workspace => workspace.used); for (let workspace of workspaces.workspaces) { const menuItem = window.MozXULElement.parseXULToFragment(` - + `); if (workspace.uuid === activeWorkspace.uuid) { menuItem.querySelector("menuitem").setAttribute("disabled", "true");