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 9fa9d1f237f35d41f12ab198fc0db4fafe84250d..64697b56276c33a1b063f1fd2d7cf75e07a78319 100644 (file)
--- a/src/tint2conf/main.c
+++ b/src/tint2conf/main.c
@@ -339,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);