Fix mine resource and productivity on map load, also made them non editable

mapeditor/inspector/inspector.cpp

@@ -370,7 +370,7 @@ void Inspector::updateProperties(CGMine * o)
 	
 	addProperty("Owner", o->tempOwner, false);
 	addProperty("Resource", o->producedResource);
-	addProperty("Productivity", o->producedQuantity, false);
+	addProperty("Productivity", o->producedQuantity);
 }
 
 void Inspector::updateProperties(CGResource * o)

mapeditor/mapcontroller.cpp

@@ -204,6 +204,15 @@ void MapController::repairMap(CMap * map) const
 				art->storedArtifact = a;
 			}
 		}
+		//fix mines 
+		if(auto * mine = dynamic_cast<CGMine*>(obj.get()))
+		{
+			if(!mine->isAbandoned())
+			{
+				mine->producedResource = GameResID(mine->subID);
+				mine->producedQuantity = mine->defaultResProduction();
+			}
+		}
 	}
 }