Patch for gnome-terminal patch :)

["Gustavo M. Giraldez" <gustavo dynaweb com ar>]

Hi everybody!

I just found a bug in my previous patch for gnome-terminal. Don't know
if anyone is using it, but here is a patch to fix the problem. The
terminal crashed when creating new terminal classes.

Regards,


Gustavo Giráldez

--- gnome-terminal.bug	Mon Jul  3 00:39:10 2000
+++ gnome-terminal.c	Fri Jul 14 20:27:26 2000
@@ -598,14 +598,14 @@
 	/* load the palette, if none, then 'default' to safe (linux) pallete */
 	gnome_config_get_vector("palette", &colour_count, &colours);
 	for (i=0;i<18;i++) {
-		if (i<colour_count)
+		if (i<colour_count) {
 			gdk_color_parse(colours[i], &cfg->palette[i]);
-		else if (i<16) {
+			g_free(colours[i]);
+		} else if (i<16) {
 			cfg->palette[i].red = linux_red[i];
 			cfg->palette[i].green = linux_grn[i];
 			cfg->palette[i].blue = linux_blu[i];
 		}
-		g_free(colours[i]);
 	}
 	g_free(colours);