1999-03-07  Jaka Mocnik  <jaka.mocnik@kiss.uni-lj.si>

	* ui-properties.c (make_option_menu): it only makes sense to
	set option menu's history after the menu has actually been
	gtk_option_menu_set_menu()ed.
	
Wed Feb 24 13:23:29 1999  George Lebl  <jirka@5z.com>

	* ui-properties.c: the string constant won't last long enough to
	  be passed to the actualhandler, so strdup it and register g_free
	  as the destroy notify function

1999-02-22  Jonathan Blandford  <jrb@redhat.com>

	* ui-properties.c (main): exit on error.

1999-01-17  Nat Friedman  <nat@nat.org>

	* ui-properties.c (ui_setup): Added properties for setting the
 	position of the GnomeAppBar progress meter.

1998-12-14  Havoc Pennington  <hp@pobox.com>

	* ui-properties.c (ui_setup): Re-add properties for turning off 
	detachable menubar/toolbar

