<div dir="ltr">I don't think workspacePrompt is the same thing -- it knows about workspace tags, but not workspace names as assigned by the WorkspaceName module.<div><br></div><div>~d<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 29, 2015 at 12:17 PM, Brent Yorgey <span dir="ltr"><<a href="mailto:byorgey@gmail.com" target="_blank">byorgey@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Hi A.,<br><br></div>This functionality is actually already available through the XMonad.Prompt.Workspace module.  Just adding a keybinding to<br><br></div>workspacePrompt (windows . greedyView)<br><div><div><div><br></div><div>should do the trick.  Let me know if that works for you.<br><br></div><div>-Brent<br></div><div><br><div class="gmail_quote"><div><div class="h5"><div dir="ltr">On Fri, May 1, 2015 at 6:43 PM <<a href="mailto:lewo@abesis.fr" target="_blank">lewo@abesis.fr</a>> wrote:<br></div></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">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 extension.<br>
<br>
Hoping this could interest someone else,<br>
A.<br>
<br></div></div>
_______________________________________________<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></div>
<br>_______________________________________________<br>
xmonad mailing list<br>
<a href="mailto:xmonad@haskell.org">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></blockquote></div><br></div>