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. > >> 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. Jürgen
