On Tue, Apr 13, 2004 at 08:59:26PM +0200, Enrico Zini wrote: > > Ok, so there is no direct "remove filter" command, and a kludge is > needed. > > Totally non-intuitive, but fair enough. Wishlist bug has been filed.
It's just a paradigm thing. It's like subtracting or adding negative numbers: they're the same thing. We have seperate words for the same operation as a grammatical convenience. I think it would be less elegant to introduce an additional keybinding for no good reason. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
