2009/11/19 Humdinger <humdingerb@xxxxxxxxxxxxxx>: >> OPT is problematic, as that one is already in use by applications >> (like >> Wonderbrush). > > A pity. 'Twas a good key... I would really have like a on-key-modifier > for the window management/workspace business. Yeah, would be nice.