>>>>> "Dominik" == Dominik Waßenhoven <[EMAIL PROTECTED]> writes:
Dominik> As the feature is already implemented in some way, would it Dominik> be possible with little effort to have tooltips instead of Dominik> status line information? I'll try to have a look tonight. Dominik> Combined with an option to switch off this behaviour in the Dominik> preferences, this could help to make new (and not so new) Dominik> users of the keyboard shortcuts. I am not for adding preferences for things like this. JMarc
