public GuiButton.OnClickHandler AddSelected(string s, Army a)
 {
     // Return an on click handler
     return(() => {
         a.AddSelected(s);
         a.RefreshInfo = true;
     });
 }