25 Jun
2007
25 Jun
'07
12:15 a.m.
Sorry, I forgot to send this earlier. These are the changes needed to support sticky windows. David Sun Jun 24 07:48:54 PDT 2007 David Roundy <droundy@darcs.net> * simplify StackSet.delete Sun Jun 24 07:59:31 PDT 2007 David Roundy <droundy@darcs.net> * make delete work when window is in multiple workspaces. Sun Jun 24 08:02:08 PDT 2007 David Roundy <droundy@darcs.net> * fix apparent memory leak when floating windows are deleted.