Thank you, Tony, for the confirmation.

The behaviour I observe seems due to me using an azerty keyboard. I have this line in my config:

         , keys            = azertyKeys <+> keys def

As a consequence, (words "1 2 3 4 5 6 7 8 9 0") does not map to the above row keys.

I will manually replace each digit by its azerty counterpart, unless a smarter idea comes up.

Thank you for all the help!

On Sun, 3 Sept 2023 at 08:43, Tony Zorman <soliditsallgood@mailbox.org> wrote:

On Sun, Sep 03 2023 08:10, Jean-Baptiste Mestelan wrote:
> I am not quite there yet: the 'move to workspace' part works OK, but the
> 'focus' part does not. It would seem the condition
> (W.tag . W.workspace . W.current) ss == t
> is never triggered? Still working on it.

Did you properly restart XMonad? Make sure that your config compiles; if

> tagOrFocus t ss = if (W.tag . W.workspace . W.current) ss == t then
> W.focusUp ss else W.view t ss

is a verbatim copy, then you probably have at least one spurious line
break in there.

(For the record, I tried Brandon's solution just now and it works for
me)

--
Tony Zorman | https://tony-zorman.com/