<div dir="ltr"><div>Aha, I see now.  Thanks, I've applied this patch.  The code contained some tab characters so I also took the liberty of pushing another patch cleaning up the indentation and converting all tabs to spaces (generally regarded as good Haskell style).<br><br></div>-Brent<br><div><div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jun 1, 2015 at 5:44 AM <<a href="mailto:lewo@abesis.fr">lewo@abesis.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Daniel Wagner <<a href="mailto:dmwit@dmwit.com" target="_blank">dmwit@dmwit.com</a>> writes:<br>
<br>
> I don't think workspacePrompt is the same thing -- it knows about workspace<br>
> tags, but not workspace names as assigned by the WorkspaceName module.<br>
<br>
Exactly, the proposed prompt allows the user to select a workspace by<br>
its name (assigned by the WorkspaceName module) while<br>
Xmonad.Prompt.Workspace.workspacePrompt uses the workspace tag.<br>
<br>
I provide a new patch where the function name and signature have<br>
been adapted to look like the original worskpacePrompt function.<br>
<br>
Antoine.<br>
<br>
<br>
<br>
><br>
> ~d<br>
><br>
> On Fri, May 29, 2015 at 12:17 PM, Brent Yorgey <<a href="mailto:byorgey@gmail.com" target="_blank">byorgey@gmail.com</a>> wrote:<br>
><br>
>> Hi A.,<br>
>><br>
>> This functionality is actually already available through the<br>
>> XMonad.Prompt.Workspace module.  Just adding a keybinding to<br>
>><br>
>> workspacePrompt (windows . greedyView)<br>
>><br>
>> should do the trick.  Let me know if that works for you.<br>
>><br>
>> -Brent<br>
>><br>
>> On Fri, May 1, 2015 at 6:43 PM <<a href="mailto:lewo@abesis.fr" target="_blank">lewo@abesis.fr</a>> wrote:<br>
>><br>
>>> Hi,<br>
>>><br>
>>> Attached is a patch that adds a prompt to select and view a workspace<br>
>>> based on its tag and its name which comes from the WorkspaceName<br>
>>> extension.<br>
>>><br>
>>> Hoping this could interest someone else,<br>
>>> A.<br>
>>><br>
>>> _______________________________________________<br>
>>> xmonad mailing list<br>
>>> <a href="mailto:xmonad@haskell.org" target="_blank">xmonad@haskell.org</a><br>
>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad</a><br>
>>><br>
>><br>
>> _______________________________________________<br>
>> xmonad mailing list<br>
>> <a href="mailto:xmonad@haskell.org" target="_blank">xmonad@haskell.org</a><br>
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad</a><br>
>><br>
>><br>
> _______________________________________________<br>
> xmonad mailing list<br>
> <a href="mailto:xmonad@haskell.org" target="_blank">xmonad@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/xmonad</a><br>
</blockquote></div></div></div></div>