private void displayMessageBox(String message)
{
AutomataMessageBox messageBox = new AutomataMessageBox(message);
messageBox.StartPosition = FormStartPosition.CenterScreen;
if (materialCheckBox1.Checked)
{
speech.Speak(message);
}
messageBox.ShowDialog();
}
private void openFiniteAutomataDisplayTab(GraphicState initialState, Bitmap backBuffer)
{
if (initialState != null)
{
Input inputForm = new Input();
inputForm.StartPosition = FormStartPosition.CenterScreen;
DialogResult res = inputForm.ShowDialog();
if (res == DialogResult.OK)
{
AutomataDisplayPage display = (AutomataDisplayPage)createNewTab(new AutomataDisplayPage(initialState, backBuffer, inputForm.getText()), "Display", ref automataDisplayTabNumber);
display.onUserCloseClick += new AutomataDisplayPage.clickEventHandler(closeTab);
materialTabSelector1.Enabled = false;
}
}
else
{
AutomataMessageBox error = new AutomataMessageBox("No initial state selected");
error.StartPosition = FormStartPosition.CenterScreen;
error.ShowDialog();
}
}
