2000-12-03  Michael Natterer  <mitch@gimp.org>

	* app/layers_dialog.c: when applying or deleting the layer mask,
	we have to call layers_dialog_set_menu_sensitivity() ourselves
	whenever calling layer_widget_layer_flush() instead of
	gdisplays_flush().