ReplacePlayerDialog can now edit existing bot configs#4605

Merged

SJuliez merged 7 commits intoMegaMek:masterfrom pakfront:replace-player-edit-bots

Jul 21, 2023

+1,249-988

Commits on Jul 7, 2023

ManagePlayersDialog can update bot settings
DESKTOP-C2SG422\Tim
committed

Commits on Jul 8, 2023

limit to Bots and ghosts, add message properties
DESKTOP-C2SG422\Tim
committed
kick remote bot
DESKTOP-C2SG422\Tim
committed
small formating cleanup
DESKTOP-C2SG422\Tim
committed

Commits on Jul 10, 2023

address Windchild comments
DESKTOP-C2SG422\Tim
committed

Commits on Jul 12, 2023

rename ReplacePlayerDialog to EditBotsDialog and fix related symbols
DESKTOP-C2SG422\Tim
committed
minor incorrect refactor fix
DESKTOP-C2SG422\Tim
committed