private void OpenUserListForm()
{
if (this.InvokeRequired)
{
this.Invoke(new NoParamDelegate(OpenUserListForm));
}
else
{
// Open a UserListWindow if one is not already opened.
if (m_userListForm == null)
{
m_userListForm = new UserListForm(m_controller);
m_userListForm.Closed += new EventHandler(userListWindowClosed);
UserListFormUpdate();
m_userListForm.Show(this);
}
}
}
private void userListWindowClosed(object sender, EventArgs e)
{
// The window is closed, null the reference to it.
m_userListForm = null;
}
private void disconnected(object sender, EventArgs e)
{
// Disconnect from the server with the given reason.
m_controller.Disconnect("User Quit.");
// Clear the window title.
SetWindowTitle(null);
// Close and dispose the user list window.
if (m_userListForm != null)
{
m_userListForm.Close();
m_userListForm = null;
}
// Disable the "Disconnect" menu option since no longer connected.
m_disconnectMenu.Enabled = false;
}
