Jürgen Spitzmüller wrote:
Abdelrazak Younes wrote:
but this interferes with Qt::widget->hide().
So? You don't need QWidget::hide() so better use it.
I had it called hide() in the first place, which resulted in unexpected
behaviour (all the widgets on the minibuffer disappeared, but not the
minibuffer itself). I think it's safer to use a unique name.
OK, then call it hideParent() or hideToolbar() so that we know that this
is really the toolbar that we're hiding.
But instead of continuing those hacks in the minibuffer and
reimplementing a toolbar in a widget, why not making it a toolbar
proper? It should not be very hard but maybe not 1.5.0 stuff though...
I agree, but I think it's not 1.5. stuff. My solution is easy to
implement and it's not too hackish IMHO.
Your call.
I have counted a slight majority for my solution, so I'll put it in.
Fine.
Abdel.
