Made Panel more Gtk friendly
This commit is contained in:
parent
0fbfd169df
commit
8baca7edc6
1 changed files with 4 additions and 2 deletions
|
|
@ -54,9 +54,9 @@ Panel::Panel(workspace::PanelManager &panel_manager,
|
||||||
gdl_dock_item_grip_set_label(grip, ((Widget&)panelBar).gobj());
|
gdl_dock_item_grip_set_label(grip, ((Widget&)panelBar).gobj());
|
||||||
|
|
||||||
// Set up the panel body
|
// Set up the panel body
|
||||||
gtk_container_add ((GtkContainer*)dockItem, (GtkWidget*)gobj());
|
gtk_container_add (GTK_CONTAINER(dockItem), GTK_WIDGET(gobj()));
|
||||||
|
|
||||||
gtk_widget_show ((GtkWidget*)dockItem);
|
gtk_widget_show (GTK_WIDGET(dockItem));
|
||||||
|
|
||||||
// Connect the signals
|
// Connect the signals
|
||||||
hide_panel_handler_id = g_signal_connect (GTK_OBJECT(dockItem),
|
hide_panel_handler_id = g_signal_connect (GTK_OBJECT(dockItem),
|
||||||
|
|
@ -73,6 +73,8 @@ Panel::~Panel()
|
||||||
gtk_container_remove (GTK_CONTAINER(grip),
|
gtk_container_remove (GTK_CONTAINER(grip),
|
||||||
((Widget&)panelBar).gobj());
|
((Widget&)panelBar).gobj());
|
||||||
|
|
||||||
|
gtk_container_remove (GTK_CONTAINER(dockItem), GTK_WIDGET(gobj()));
|
||||||
|
|
||||||
// Detach the signals
|
// Detach the signals
|
||||||
g_signal_handler_disconnect(
|
g_signal_handler_disconnect(
|
||||||
GTK_OBJECT(dockItem), hide_panel_handler_id);
|
GTK_OBJECT(dockItem), hide_panel_handler_id);
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue