Rename WorldMap to MapId (#14857)

This commit is contained in:
Leon Friedrich
2023-03-28 00:40:57 +13:00
committed by GitHub
parent 512b79efe2
commit 36f7a5b0e6
4 changed files with 6 additions and 16 deletions

View File

@@ -696,7 +696,7 @@ public sealed partial class AdminVerbSystem
{
if (_adminManager.HasAdminFlag(player, AdminFlags.Mapping))
{
if (_mapManager.IsMapPaused(map.WorldMap))
if (_mapManager.IsMapPaused(map.MapId))
{
Verb unpauseMap = new()
{
@@ -705,7 +705,7 @@ public sealed partial class AdminVerbSystem
Icon = new SpriteSpecifier.Texture(new ResourcePath("/Textures/Interface/AdminActions/play.png")),
Act = () =>
{
_mapManager.SetMapPaused(map.WorldMap, false);
_mapManager.SetMapPaused(map.MapId, false);
},
Impact = LogImpact.Extreme,
Message = Loc.GetString("admin-trick-unpause-map-description"),
@@ -722,7 +722,7 @@ public sealed partial class AdminVerbSystem
Icon = new SpriteSpecifier.Texture(new ResourcePath("/Textures/Interface/AdminActions/pause.png")),
Act = () =>
{
_mapManager.SetMapPaused(map.WorldMap, true);
_mapManager.SetMapPaused(map.MapId, true);
},
Impact = LogImpact.Extreme,
Message = Loc.GetString("admin-trick-pause-map-description"),