/// <summary>
/// ランダム指揮官エディタフォームを起動する
/// </summary>
public static void LaunchRandomLeaderEditorForm()
{
if (_randomLeaderEditorForm == null)
{
_randomLeaderEditorForm = new RandomLeaderEditorForm();
_randomLeaderEditorForm.Show();
OnEditorStatusUpdate();
}
else
{
_randomLeaderEditorForm.Activate();
}
}
/// <summary>
/// ランダム指揮官エディタフォームクローズ時の処理
/// </summary>
public static void OnRandomLeaderEditorFormClosed()
{
_randomLeaderEditorForm = null;
OnEditorStatusUpdate();
}