
18 Oct
2007
18 Oct
'07
12:23 p.m.
On 10/17/07, David Roundy
wrote: That's next on my list (workspace renaming), but I really shouldn't get to it today, as I have some debugging of darcs that I need to do that probably will take all day.
Changes to DynamicWorkspaces.hs:
Thu Oct 18 17:56:04 EEST 2007 David Roundy
* add function to rename workspaces.
I haven't found this patch in mailing list, anyway... It works, it's lovely! Very useful. :) BTW, could someone tell me, why does , ((modMask .|. shiftMask, xK_a), renameWorkspace defaultXPConfig) work and , ((modMask, xK_A), renameWorkspace defaultXPConfig) (no shift, the capital `A') does not? -- vvv