2003-10-05  Sven Neumann  <sven@gimp.org>

	* app/gui/tool-options-menu.c (tool_options_menu_update): removed
	unused variables.