Re: Toolbar bugs

[Georg Baum]

Am Samstag, 18. November 2006 05:48 schrieb Bo Peng:
> I tend to suggest that we remove this feature.

If you mean the minibuffer: No. The minibuffer is nice for debugging and 
power users. I agree that no keyboard shortcut is needed, though.


Georg