added possibility to put tint2 into the windowmanagers dock

git-svn-id: http://tint2.googlecode.com/svn/trunk@172 121b4492-b84c-0410-8b4c-0d4edfb3f3cc

src/config.c

@@ -338,6 +338,8 @@ void add_entry (char *key, char *value)
 	}
 	else if (strcmp (key, "wm_menu") == 0)
 		wm_menu = atoi (value);
+	else if (strcmp (key, "panel_dock") == 0)
+		panel_dock = atoi (value);
 	else if (strcmp (key, "urgent_nb_of_blink") == 0)
 		max_tick_urgent = (atoi (value) * 2) + 1;