Re: [anjuta-devel] placeholder in GDL

["Johannes Schmid" <jhs jsschmid de>]

Hi Sebastien!

Sorry for the late replay.

> This is my primary goal to work on GDL, so I'm trying to fix it. I plan
> to do the following:
>
> * Minimize and Hide will be different
> See https://bugzilla.gnome.org/show_bug.cgi?id=317007
>
>
> * Minimize will only hide the widget and not remove it.
> When a GDL widget is hidden, we have to propagate this information to
> its parent which can be hidden too if it was its only visible child. But
> it is not like the current reduce function which is removing unneeded
> widget, here the parent will be only hidden.

Looks good to me in general (can't say much about the implementation
part). I am just wondering if "Hide" does make sense at all or if we
should just merge "Minimize" and "Hide". I don't like the special toolbar
for minimized widgets as I think these things are better handled by a menu
and I have never seen much sense is minimizing widgets in anjuta or any
other application.

Regards,
Johannes