--- a/src/widget.cpp	Tue Apr 08 11:54:53 2008 +0000
+++ b/src/widget.cpp	Sat Apr 12 21:38:49 2008 +0000
@@ -186,6 +186,10 @@
 }
 
 
+/**
+ * Paint all widgets of a window.
+ * @param w Window
+ */
 void DrawWindowWidgets(const Window *w)
 {
 	const DrawPixelInfo* dpi = _cur_dpi;
@@ -569,6 +573,7 @@
 	}
 }
 
+/** Resize a widget and shuffle other widgets around to fit. */
 void ResizeWindowForWidget(Window *w, int widget, int delta_x, int delta_y)
 {
 	int right  = w->widget[widget].right;