src/ship_gui.cpp
branchnoai
changeset 9574 698395509d12
parent 6524 44e22a9b2c97
child 6987 b0f13039bda2
--- a/src/ship_gui.cpp	Sat Mar 31 12:36:57 2007 +0000
+++ b/src/ship_gui.cpp	Sun Apr 08 14:46:55 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file ship_gui.cpp */
+
 #include "stdafx.h"
 #include "openttd.h"
 #include "debug.h"
@@ -32,7 +34,7 @@
 		StringID str;
 
 		SetWindowWidgetDisabledState(w, 2, v->owner != _local_player);
-		// disable service-scroller when interval is set to disabled
+		/* disable service-scroller when interval is set to disabled */
 		SetWindowWidgetDisabledState(w, 5, !_patches.servint_ships);
 		SetWindowWidgetDisabledState(w, 6, !_patches.servint_ships);