From 04252fc09c70b56e8c24558ff59a4f9d4432878a Mon Sep 17 00:00:00 2001
From: UnknownShadow200 <unknownshadow200@gmail.com>
Date: Sat, 5 May 2018 15:01:32 +1000
Subject: [PATCH] Fix changing map not updating players list in GUI

---
 GUI/Window/Window.cs                 | 1 +
 MCGalaxy/Commands/other/CmdSummon.cs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/GUI/Window/Window.cs b/GUI/Window/Window.cs
index 9aee2c07c..b30648537 100644
--- a/GUI/Window/Window.cs
+++ b/GUI/Window/Window.cs
@@ -183,6 +183,7 @@ namespace MCGalaxy.Gui {
         void Player_OnJoinedLevel(Player p, Level prevLevel, Level lvl) {
             RunOnUI_Async(() => {
                 Main_UpdateMapList();
+                Main_UpdatePlayersList();
                 Players_UpdateSelected(); 
             });
         }
diff --git a/MCGalaxy/Commands/other/CmdSummon.cs b/MCGalaxy/Commands/other/CmdSummon.cs
index e099775f9..e0cb0e31f 100644
--- a/MCGalaxy/Commands/other/CmdSummon.cs
+++ b/MCGalaxy/Commands/other/CmdSummon.cs
@@ -25,7 +25,7 @@ namespace MCGalaxy.Commands.Misc {
         public override string type { get { return CommandTypes.Other; } }
         public override bool museumUsable { get { return false; } }
         public override LevelPermission defaultRank { get { return LevelPermission.Operator; } }
-        public override bool SuperUseable { get { return false; } }        
+        public override bool SuperUseable { get { return false; } }
         public override CommandAlias[] Aliases {
             get { return new[] { new CommandAlias("Fetch"), new CommandAlias("Bring"), new CommandAlias("BringAll", "all") }; }
         }