diff --git a/src/ui/widget/dock.h b/src/ui/widget/dock.h
index be0c4ef1db5ae7692a5088b632812de6795c6127..dd501f186e4765ae340e022408a1e0dccccc608c 100644 (file)
--- a/src/ui/widget/dock.h
+++ b/src/ui/widget/dock.h
Gtk::Widget& getWidget(); //< return the top widget
Gtk::Paned *getParentPaned();
Gtk::Widget& getWidget(); //< return the top widget
Gtk::Paned *getParentPaned();
-
Gtk::Paned *getPaned();
Gtk::Paned *getPaned();
- bool isEmpty() const; //< true iff none of the dock's items are in state != UNATTACHED
+ GtkWidget* getGdlWidget(); //< return the top gdl widget
+
+ bool isEmpty() const; //< true iff none of the dock's items are in a docked state
bool hasIconifiedItems() const;
Glib::SignalProxy0<void> signal_layout_changed();
bool hasIconifiedItems() const;
Glib::SignalProxy0<void> signal_layout_changed();
/** Toggle size of dock between the previous dimensions and the ones sent as parameters */
void toggleDockable(int width=0, int height=0);
/** Toggle size of dock between the previous dimensions and the ones sent as parameters */
void toggleDockable(int width=0, int height=0);
+ /** Scrolls the scrolled window container to make the provided dock item visible, if needed */
+ void scrollToItem(DockItem& item);
+
protected:
std::list<const DockItem *> _dock_items; //< added dock items
protected:
std::list<const DockItem *> _dock_items; //< added dock items
/** Internal signal handlers */
void _onLayoutChanged();
/** Internal signal handlers */
void _onLayoutChanged();
+ void _onPanedButtonEvent(GdkEventButton *event);
- void _onFoo();
+ static gboolean _on_paned_button_event(GtkWidget *widget, GdkEventButton *event,
+ gpointer user_data);
/** GdlDock signal proxy structures */
static const Glib::SignalProxyInfo _signal_layout_changed_proxy;
/** GdlDock signal proxy structures */
static const Glib::SignalProxyInfo _signal_layout_changed_proxy;