update player list in lobby gracefully for better user experience

2013-03-18 22:25:31 +01:00
parent 1fb2796ada
commit 770d79da0b
4 changed files with 69 additions and 11 deletions
--- a/OpenRA.Game/Widgets/ScrollPanelWidget.cs
+++ b/OpenRA.Game/Widgets/ScrollPanelWidget.cs
@@ -14,7 +14,7 @@ using OpenRA.Graphics;

 namespace OpenRA.Widgets
 {
-	public interface ILayout { void AdjustChild(Widget w); }
+	public interface ILayout { void AdjustChild(Widget w); void AdjustChildren(); }

 	public class ScrollPanelWidget : Widget
 	{
@@ -95,6 +95,8 @@ namespace OpenRA.Widgets

 			Game.Renderer.EnableScissor(backgroundRect.X + 1, backgroundRect.Y + 1, backgroundRect.Width - 2, backgroundRect.Height - 2);

+			Layout.AdjustChildren();
+
 			foreach (var child in Children)
 				child.DrawOuter();