Add basement width editor property

planet/Objects.ocd/Structures.ocd/Basement.ocd/Script.c

@@ -154,6 +154,17 @@ public func CombineWith(object stick_to)
 	SetParent(stick_to);
 }
 
+
+/*-- Editor --*/
+
+public func Definition(def, ...)
+{
+	_inherited(def, ...);
+	if (!def.EditorProps) def.EditorProps = {};
+	def.EditorProps.width = { Name="$Width$", Set="SetWidth", Type="int", Min=8, Max=120 };
+}
+
+
 /*-- Properties --*/
 
 local Name = "$Name$";

planet/Objects.ocd/Structures.ocd/Basement.ocd/StringTblDE.txt

@@ -1,2 +1,3 @@
 Name=Fundament
 Description=Eine stabile Basis für Gebäude. 
+Width=Breite

planet/Objects.ocd/Structures.ocd/Basement.ocd/StringTblUS.txt

@@ -1,2 +1,3 @@
 Name=Basement
 Description=A stable base for any building.
+Width=Width