Renomear espaços de trabalho interativamente usando DynamicWorkspaces não funciona

Question

Eu tenho tentado encontrar uma maneira de renomear espaços de trabalho enquanto estiver trabalhando. Atualmente estou usando até 4 espaços de trabalho no momento e gostaria de atribuir novos nomes aos espaços de trabalho conforme necessário.

Me deparei com XMonad.Actions.DynamicWorkspaces e posso criar e remover espaços de trabalho, mas não renomear. Eu tenho a ligação atual

((modM .|. shiftMask, xK_r), renameWorkspace defaultXPConfig)

No entanto, quando eu insiro algo no defaultXPConfig, nada acontece (e por nada acontece, quero dizer, o nome da área de trabalho não muda no meu xmobar). Eu sou capaz de criar e excluir espaços de trabalho, essas alterações aparecem no meu xmobar.

O método renameWorkspaceByName funciona como esperado, por isso acredito que estou usando o xpconfig errado?

Eu postei meu xmonad.hs aqui

    

Answer 1

Certifique-se de estar usando a 'configuração' de xmonad-contrib link .

Essencialmente, da configuração mínima que você postou, você precisa substituir xmonad $ defaultConfig { por xmonad $ desktopConfig { . Certifique-se de também importar o módulo necessário: import XMonad.Config.Desktop .

Aqui está a configuração mínima de trabalho:

import XMonad
import XMonad.Config.Desktop
import XMonad.Util.EZConfig
import XMonad.Actions.DynamicWorkspaces

modM                 = mod4Mask
myWorkspaces         = ["1:Surf",  "2:Web", "3:Dev", "4:Term","5:Pdf"]
myKeys = [((modM .|. shiftMask, xK_r), renameWorkspace def)]

main = do
  xmonad $ desktopConfig {
   workspaces         = myWorkspaces
  , modMask            = modM
  }
    'additionalKeys' myKeys