src/settings_gui.cpp
changeset 6988 76eba6a9cc6f
parent 6982 c414fad6c440
child 7039 a20ddaf4dc97
--- a/src/settings_gui.cpp	Wed Apr 18 22:10:36 2007 +0000
+++ b/src/settings_gui.cpp	Wed Apr 18 22:41:53 2007 +0000
@@ -115,7 +115,7 @@
 
 		DrawWindowWidgets(w);
 		DrawString(20, 175, STR_OPTIONS_FULLSCREEN, 0); // fullscreen
-	}	break;
+	} break;
 
 	case WE_CLICK:
 		switch (e->we.click.widget) {
@@ -498,7 +498,7 @@
 			SetDifficultyLevel(3, &_opt_mod_temp); // set difficulty level to custom
 			LowerWindowWidget(w, _opt_mod_temp.diff_level + 3);
 			SetWindowDirty(w);
-		}	break;
+		} break;
 		case 3: case 4: case 5: case 6: /* Easy / Medium / Hard / Custom */
 			// temporarily change difficulty level
 			RaiseWindowWidget(w, _opt_mod_temp.diff_level + 3);