rename WRange to WDist in the Lua API

2015-07-09 12:36:15 +02:00
parent 31892dd104
commit ff7fe2bab5
6 changed files with 11 additions and 12 deletions
--- a/mods/ra/maps/soviet-05/main.lua
+++ b/mods/ra/maps/soviet-05/main.lua
@@ -240,7 +240,7 @@ WorldLoaded = function()
 		end)
 	end)

-	Trigger.OnEnteredProximityTrigger(USSRExpansionPoint.CenterPosition, WRange.New(4 * 1024), function(unit, id)
+	Trigger.OnEnteredProximityTrigger(USSRExpansionPoint.CenterPosition, WDist.New(4 * 1024), function(unit, id)
 		if unit.Owner == player and Radar.Owner == player then
 			Trigger.RemoveProximityTrigger(id)