<div dir="ltr"><div>Thank you, Tony, for the confirmation.</div><div><br></div><div>The behaviour I observe seems due to me using an azerty keyboard. I have this line in my config:</div><div>         , keys            = azertyKeys <+> keys def</div><div><br></div><div>As a consequence, <font face="monospace">(words "1 2 3 4 5 6 7 8 9 0") </font>does not map to the above row keys.</div><div><br></div><div>I will manually replace each digit by its azerty counterpart, unless a smarter idea comes up.</div><div>Thank you for all the help!<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 3 Sept 2023 at 08:43, Tony Zorman <<a href="mailto:soliditsallgood@mailbox.org">soliditsallgood@mailbox.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Sun, Sep 03 2023 08:10, Jean-Baptiste Mestelan wrote:<br>
> I am not quite there yet: the 'move to workspace' part works OK, but the<br>
> 'focus' part does not. It would seem the condition<br>
> (W.tag . W.workspace . W.current) ss == t<br>
> is never triggered? Still working on it.<br>
<br>
Did you properly restart XMonad? Make sure that your config compiles; if<br>
<br>
> tagOrFocus t ss = if (W.tag . W.workspace . W.current) ss == t then<br>
> W.focusUp ss else W.view t ss<br>
<br>
is a verbatim copy, then you probably have at least one spurious line<br>
break in there.<br>
<br>
(For the record, I tried Brandon's solution just now and it works for<br>
me)<br>
<br>
-- <br>
Tony Zorman | <a href="https://tony-zorman.com/" rel="noreferrer" target="_blank">https://tony-zorman.com/</a><br>
</blockquote></div>