#ifndef PROPERTIES
#define PROPERTIES

#include <gtk/gtk.h>


GtkWidget *create_properties();


#endif