/* 	$Id: properties.h,v 1.1.1.1 2000/01/30 16:39:25 benediktroth Exp $	 */

#ifndef __PROPERTIES_H__
#define __PROPERTIES_H__

#include <gnome.h>


GtkWidget *properties_dir;
GtkWidget *properties_player;

gchar *prop_mp3_dir;
gchar *prop_mp3_player;

void properties( void );
void properties_changed( GtkWidget *widget, gpointer *data);
void properties_get( void );
void properties_load( void );
void properties_ok( GtkWidget *widget, gpointer *data);
void properties_save( void );

#endif