WidGet file, version 1.1, created:  Tue Sep 30 18:54:32 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 {}
	other comments {}
	geometry column 1
	other item_name button#1
	other tabbing {}
	configure command sub{exit}
Widget f
	other generic_options {
		button {
		}
		canvas {
		}
		checkbutton {
		}
		entry {
		}
		frame {
		}
		label {
		}
		listbox {
		}
		menubutton {
		}
		message {
		}
		radiobutton {
		}
		scale {
		}
		scrollbar {
		}
		text {
		}
	}
	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 {}