WidGet file, version 1.0, created:  Thu Apr 17 18:14:21 PDT 1997
Widget button#1
	geometry row 1
	other error {}
	other type button
	other master {}
	configure text {Hello world!}
	other pathname button#1
	other tags {}
	other level {}
	other help {}
	geometry column 1
	other comments {}
	other item_name button#1
	other tabbing {}
	configure command sub{exit}
Widget f
	other panel {}
	other resize_row 0
	other type frame
	other min_row 30
	other master {}
	other pathname f
	other tags {}
	other resize_column 0
	other level 0
	configure background #e9e9e9
	other help {}
	other min_column 30
	other Colors {black white bisque grey red green blue magenta yellow #dcdcbfbfa6a6}
	other comments {}
	other item_name f
	other tabbing {}