Comment 290 for bug 733349

Many thanks to @Jonathan French and all the people here contributing to improve this "patch". I 'm so used to the old (and much more useful) behavior that I was clicking at least a dozen times a day over the icons trying to minimize. You know how frustrating it was. I join those hoping this feature will be included in following releases! Can't see a reason not to. Even if you're a new user without old habits it improves usability a lot anyway.