2011-06-06 09:16:51 +00:00
|
|
|
#ifndef PROPERTIES_RW
|
|
|
|
|
#define PROPERTIES_RW
|
|
|
|
|
|
2015-01-28 15:31:20 +00:00
|
|
|
#include <gtk/gtk.h>
|
2011-06-06 09:16:51 +00:00
|
|
|
|
2016-03-20 12:08:40 +00:00
|
|
|
char *get_current_theme_path();
|
2015-01-28 15:31:20 +00:00
|
|
|
gboolean config_is_manual(const char *path);
|
2017-04-13 12:07:23 +00:00
|
|
|
void config_read_file(const char *path);
|
2011-06-06 09:16:51 +00:00
|
|
|
void config_save_file(const char *path);
|
|
|
|
|
|
|
|
|
|
#endif
|
