diff --git a/src/gui/panels/panel.cpp b/src/gui/panels/panel.cpp index e4f2b1bee..1c4b40e3b 100644 --- a/src/gui/panels/panel.cpp +++ b/src/gui/panels/panel.cpp @@ -38,7 +38,6 @@ Panel::Panel(workspace::PanelManager &panel_manager, const gchar *stock_id) : panelManager(panel_manager), dockItem(dock_item), - hide_panel_handler_id(0), panelBar(*this, stock_id) { // Set dockItems long-name property @@ -52,7 +51,7 @@ Panel::Panel(workspace::PanelManager &panel_manager, gdl_dock_item_get_grip(dockItem.gobj())); gdl_dock_item_grip_show_handle(grip); gdl_dock_item_grip_set_label(grip, ((Widget&)panelBar).gobj()); - /* End FIXME */ + //gdl_dock_item_grip_set_cursor_type(grip, GDK_LEFT_PTR); /* Set up the panel body */ // Add this panel's container to the DockItem diff --git a/src/gui/panels/panel.hpp b/src/gui/panels/panel.hpp index 43fe5c7f2..23834c0c7 100644 --- a/src/gui/panels/panel.hpp +++ b/src/gui/panels/panel.hpp @@ -155,11 +155,6 @@ protected: * A signal that fires when the dock item is hidden. */ sigc::signal hidePanelSignal; - - /** - * The id of the hide panel handler. - */ - gulong hide_panel_handler_id; /** * The panel bar to attach to the panel grip.