--- libwnck-2.4.0.1/libwnck/tasklist.h	2002-11-30 22:55:43.000000000 -0500
+++ libwnck-2.4.0.1-del1/libwnck/tasklist.h	2003-10-25 13:58:56.000000000 -0400
@@ -72,10 +72,22 @@
 				       gint          limit);
 void wnck_tasklist_set_include_all_workspaces (WnckTasklist *tasklist,
 					       gboolean      include_all_workspaces);
+void wnck_tasklist_set_window_list_or_buttons_size (WnckTasklist *tasklist,
+						    gboolean      window_list_or_buttons_size);
 void wnck_tasklist_set_minimum_width (WnckTasklist *tasklist, gint size);
 gint wnck_tasklist_get_minimum_width (WnckTasklist *tasklist);
 void wnck_tasklist_set_minimum_height (WnckTasklist *tasklist, gint size);
 gint wnck_tasklist_get_minimum_height (WnckTasklist *tasklist);
+void wnck_tasklist_set_minimum_buttons_width (WnckTasklist *tasklist, gint size);
+gint wnck_tasklist_get_minimum_buttons_width (WnckTasklist *tasklist);
+void wnck_tasklist_set_minimum_buttons_height (WnckTasklist *tasklist, gint size);
+gint wnck_tasklist_get_minimum_buttons_height (WnckTasklist *tasklist);
+void wnck_tasklist_set_maximum_buttons_width (WnckTasklist *tasklist, gint size);
+gint wnck_tasklist_get_maximum_buttons_width (WnckTasklist *tasklist);
+void wnck_tasklist_set_maximum_buttons_height (WnckTasklist *tasklist, gint size);
+gint wnck_tasklist_get_maximum_buttons_height (WnckTasklist *tasklist);
+
+
 
 typedef GdkPixbuf* (*WnckLoadIconFunction) (const char   *icon_name,
                                             int           size,
