2003-11-15  Michael Natterer  <mitch@gimp.org>

	* app/gui/themes.c (themes_get_theme_file): new utility function
	which takes a filename relative to the theme's root directory and
	returns the absolute path to the file in the current theme. It
	falls back to the resp. path in the default theme if the given
	file is not present in the current theme.

	* app/gui/preferences-dialog.c (prefs_notebook_append_page): use it.