The server list can be filtered based on a few criteria

This commit is contained in:
Joonas Rikkonen
2017-11-21 00:59:53 +02:00
parent fce7d43ef3
commit 18db667c1e
2 changed files with 100 additions and 40 deletions
@@ -389,10 +389,10 @@ namespace Barotrauma
public override void RemoveChild(GUIComponent child)
{
if (child == null) return;
base.RemoveChild(child);
if (selected.Contains(child)) selected.Remove(child);
UpdateScrollBarSize();
}