terraform_gui.c
changeset 2952 6a26eeda9679
parent 2817 58dcead3f545
child 2955 27221592ebbc
--- a/terraform_gui.c	Wed Feb 01 06:32:03 2006 +0000
+++ b/terraform_gui.c	Wed Feb 01 07:36:15 2006 +0000
@@ -205,7 +205,7 @@
 
 static void TerraformToolbWndProc(Window *w, WindowEvent *e)
 {
-	switch(e->event) {
+	switch (e->event) {
 	case WE_PAINT:
 		DrawWindowWidgets(w);
 		break;