public void TextChanged(object sender, EventArgs e)
{
RichTextBox richTextBox = (RichTextBox)sender;
if (richTextBox.InvokeRequired)
{
TextChangedDelegate textChangedDelegate = new TextChangedDelegate(TextChanged);
richTextBox.Invoke(textChangedDelegate, new object[] { sender, e });
}
else
{
string text = richTextBox.Text;
int value;
int.TryParse(text, out value);
if (value > 0 && value < 10)
{
Board.SetValue(X, Y, value);
richTextBox.ReadOnly = true;
richTextBox.MouseLeave -= new System.EventHandler(this.MouseLeave);
Board.FigureStuffOut();
//UpdateGui.BeginInvoke(null, null, null, null);
UpdateGui.Invoke(null, null);
}
}
}
public void SetPossibleValues(object sender, string values)
{
RichTextBox richTextBox = (RichTextBox)sender;
if (richTextBox.InvokeRequired)
{
SetValuesDelegate setValuesDelegate = new SetValuesDelegate(SetPossibleValues);
richTextBox.Invoke(setValuesDelegate, new object[] { sender, values });
}
else
{
if (richTextBox.Text != values)
{
richTextBox.Text = values;
//UpdateGui.BeginInvoke(null, null, null, null);
UpdateGui.Invoke(null, null);
}
}
}
