/* This is a graph generated with the dot program of graphviz */
digraph widget_layout
{
	size = "4,4";
	"$window" -> "$vbox";
	"$vbox" -> "$frame";
	"$vbox" -> "$label";
	"$frame" -> "$hbox";
	"$hbox" -> "$inc_button";
	"$hbox" -> "$quit_button";

	"$window" [fontsize = 12];
	"$vbox" [fontsize = 12];
	"$frame" [fontsize = 12];
	"$label" [fontsize = 12];
	"$hbox" [fontsize = 12];
	"$inc_button" [fontsize = 12];
	"$quit_button" [fontsize = 12];
}