comparison src/skins/ui_dock.h @ 3158:8b97f9560dc3

More clean-up of roll-up code (should fix bug #37; if not, it's a WM problem).
author John Lindgren <john.lindgren@tds.net>
date Fri, 01 May 2009 16:59:54 -0400
parents d0daee216c8d
children
comparison
equal deleted inserted replaced
3157:d73418aa0db3 3158:8b97f9560dc3
36 GdkEventButton * event, gboolean move_list); 36 GdkEventButton * event, gboolean move_list);
37 void dock_move_motion(GtkWindow * w, GdkEventMotion * event); 37 void dock_move_motion(GtkWindow * w, GdkEventMotion * event);
38 void dock_move_release(GtkWindow * w); 38 void dock_move_release(GtkWindow * w);
39 void dock_get_widget_pos(GtkWindow * w, gint * x, gint * y); 39 void dock_get_widget_pos(GtkWindow * w, gint * x, gint * y);
40 gboolean dock_is_moving(GtkWindow * w); 40 gboolean dock_is_moving(GtkWindow * w);
41 void dock_shade(GList * window_list, GtkWindow * widget, gint new_h); 41 void dock_shade (GList * window_list, GtkWindow * widget, int new_height);
42 42
43 GList *dock_window_set_decorated(GList * list, GtkWindow * window, 43 GList *dock_window_set_decorated(GList * list, GtkWindow * window,
44 gboolean decorated); 44 gboolean decorated);
45 void dock_window_resize(GtkWindow * widget, gint new_w, gint new_h, gint w, gint h); 45 void dock_window_resize (GtkWindow * widget, int width, int height);
46 46
47 GList *get_dock_window_list(); 47 GList *get_dock_window_list();
48 void set_dock_window_list(GList * list); 48 void set_dock_window_list(GList * list);
49 49
50 #endif 50 #endif