Hello,New christmas gift for you all: I've implemented tooltips for insets. I just did a basic one in InsetCollapsable, we probably want to be a bit more accurate. I don't find them annoying personally because they disappear as soon as you move the mouse or you type something. But, if someone doesn't like it, we can probably add a RC option. Opinions?
Abdel.
