--- a/src/window_gui.h	Sun Feb 03 01:34:21 2008 +0000
+++ b/src/window_gui.h	Sun Feb 03 20:34:26 2008 +0000
@@ -630,6 +630,10 @@
  */
 void ResizeButtons(Window *w, byte left, byte right);
 
+/** Resize a widget an shuffle other widgets around to fit.
+ */
+void ResizeWindowForWidget(Window *w, int widget, int delta_x, int delta_y);
+
 
 /**
  * Sets the enabled/disabled status of a widget.