#include "common.h"
#include "theme_view.h"
#include "properties.h"
+#include "properties_rw.h"
#define SNAPSHOT_TICK 190
" <separator/>"
" <menuitem action='ThemeDelete'/>"
" <separator/>"
-// " <menuitem action='ThemeProperties'/>"
-// " <separator/>"
+ " <menuitem action='ThemeProperties'/>"
+ " <separator/>"
" <menuitem action='ThemeQuit'/>"
" </menu>"
" <menu action='EditMenu'>"
" <menuitem action='EditRefresh'/>"
" <menuitem action='EditRefreshAll'/>"
-// " <separator/>"
-// " <menuitem action='EditPreferences'/>"
+ " <separator/>"
+ " <menuitem action='EditPreferences'/>"
" </menu>"
" <menu action='HelpMenu'>"
" <menuitem action='HelpAbout'/>"
initTheme();
g_set_application_name (_("tint2conf"));
gtk_window_set_default_icon_name("taskbar");
+
+ // config file use '.' as decimal separator
+ setlocale(LC_NUMERIC, "POSIX");
// define main layout : container, menubar, toolbar
g_window = gtk_window_new (GTK_WINDOW_TOPLEVEL);
//*
GtkWidget *prop;
prop = create_properties();
+ config_read_file(file);
gtk_window_present(GTK_WINDOW(prop));
//printf("menuProperties : fin\n");
//*/