Re: [anjuta-devel] placeholder in GDL

[Sébastien Granjoux <seb sfo free fr>]

Hi Johannes,


Le 01/07/2012 17:34, Johannes Schmid a écrit :
> So do you plan that "destroyed" docks won't be restored the same way as hidden docks? I feel that this could 
> be confusing.

I'm still thinking about this.

I plan to replace gdl_dock_item_hide_item by gtk_widget_hide. So 
minimizing and closing a widget will both only hide the widget instead 
of removing it from its parent. In addition minimizing will add a button 
in the dock bar.

I cannot do something different (destroying the child) on close 
comparing to minimize because Anjuta expects to show again the widget 
without rebuilding it.

The widgets will not been removed from theirs parents unless they are 
docked to another place or the dock object is destroyed. They will be 
only hidden. I need to consider this state: the widget hidden but still 
contained in its parent as the GDL detach state because Anjuta 
GDL_DOCK_OBJECT_ATTACHED to check if the widget is closed or not.

Reduce still happens like before but it will be much more uncommon. 
Instead there is a kind a recursive hide step which is hiding a parent 
dock widget if all its children are hidden.


The next step is to remove the use of placeholder completely. Instead of 
a placeholder, I will keep the GdlDockItem hidden.

Then when the layout is loaded, I will create all objects. If a 
corresponding child widget doesn't exist, I will still create a hidden 
GdlDockItem without any children. Then, later if you create a new 
GdlDockItem with the same name, I will remove the first item without a 
child and put the new one at its place. This should fix 
(https://bugzilla.gnome.org/show_bug.cgi?id=569160).

If you destroy only the child widget and not the GdlDockItem, it should 
be possible to keep the position of temporary pane, like some debugger 
windows. I think Anjuta currently takes care of destroying the 
GdlDockItem, so this probably need a change in Anjuta.

I will save the minimize state of the dock widget, so I can restore it 
(https://bugzilla.gnome.org/show_bug.cgi?id=452518).

Finally, I think we could improve the minimize feature, that's why I 
prefer to keep it for the moment. Other dock library have some auto 
hiding widget, this could probably be added 
(https://bugzilla.gnome.org/show_bug.cgi?id=588491).


Regards,

Sébastien