add some code around taskbar_name

[chaz/tint2] / src / tint2conf / main.c

diff --git a/src/tint2conf/main.c b/src/tint2conf/main.c
index 9c07ea35279f0915d6cd00acf0ef9cb637a328ca..64697b56276c33a1b063f1fd2d7cf75e07a78319 100644 (file)
--- a/src/tint2conf/main.c
+++ b/src/tint2conf/main.c
@@ -164,11 +164,10 @@ int main (int argc, char ** argv)
        // load themes
        load_theme(g_theme_view);
 
-       /* temporaire !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-       GtkWidget *prop;
-       prop = create_properties();
+       /* temporaire !!!!!!!!!!!!!!
+       GtkWidget *prop = create_properties();
        gtk_window_present(GTK_WINDOW(prop));
-*/
+       //*/
        gtk_widget_show_all(g_window);
        gtk_main ();
        return 0;
@@ -340,7 +339,7 @@ static void menuProperties()
                prop = create_properties();
                gtk_window_present(GTK_WINDOW(prop));
                //printf("menuProperties : fin\n");
-*/
+//*/
 
                cmd = g_strdup_printf("%s \'%s\' &", g_cmd_property, file);
                printf("cmd %s\n", cmd);