<div dir="ltr">On Thu, Aug 2, 2012 at 2:42 PM, Bryan Huh <span dir="ltr">&lt;<a href="mailto:bhh1988@gmail.com" target="_blank">bhh1988@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    I see. That solved that problem, but now I get an error saying:<br></div></blockquote><div><br></div><div>*sigh* I tripped over the same problem I was trying to avoid in a different form... this will be harder to do than I&#39;d hoped.  (Forgot that it&#39;s already in a pure context; have to rearrange the whole thing to compensate)</div>
<div><br></div><div><div>The viewHidden function now  looks like</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
viewHidden :: WorkspaceId -&gt; X ()<br>viewHidden w = do<br>  ws &lt;- gets windowset<br>  when (w `notElem` (map (W.tag . W.workspace) $ W.current ws : W.visible ws))<br>       (windows $ W.view w)</blockquote><div><br>
</div><div>and the list comprehension defining the workspace switching keys has now been refactored into:</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
   [((m .|. modm,k),f i)<br>   | (i, k) &lt;- zip (XMonad.workspaces conf) [xK_1 .. xK_9]<br>   , (f, m) &lt;- [(viewHidden,0), (windows . W.shift,shiftMask)]<br>   ]</blockquote></div><div><br></div></div>-- <br>brandon s allbery                                      <a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a><br>
wandering unix systems administrator (available)     (412) 475-9364 vm/sms<br><br>
</div>