private void Check_key(object sender, System.Windows.Forms.KeyEventArgs e)
{
if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
{
e.Handled = this.Complete_Suggestion();
if (!e.Handled)
{
e.Handled = true;
done_button_Click(sender, e);
}
}
else if (e.KeyCode.ToString() == "Down")
{
e.Handled = true;
Dialog_Helpers.suggestions_downarrow(
this.textBox1,
ref this.current_suggestion);
}
else if (e.KeyCode.ToString() == "Up")
{
e.Handled = true;
Dialog_Helpers.suggestions_uparrow(
this.textBox1,
ref this.current_suggestion);
}
}
private void textBox2_KeyDown(object sender, System.Windows.Forms.KeyEventArgs e)
{
if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
{
e.Handled = this.Complete_Suggestion_Lhs();
e.SuppressKeyPress = e.Handled;
if (!e.Handled)
{
done_button_Click(sender, e);
}
}
else if (e.KeyCode.ToString() == "Down")
{
e.Handled = true;
e.SuppressKeyPress = e.Handled;
Dialog_Helpers.suggestions_downarrow(
this.suggestionTextBox,
ref this.current_suggestion);
}
else if (e.KeyCode.ToString() == "Up")
{
e.Handled = true;
e.SuppressKeyPress = e.Handled;
Dialog_Helpers.suggestions_uparrow(
this.suggestionTextBox,
ref this.current_suggestion);
}
}
private void Check_key_expr(object sender, KeyEventArgs e)
{
if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
{
e.Handled = this.Complete_Suggestion_Expr();
e.SuppressKeyPress = e.Handled;
if (!e.Handled)
{
done_button_Click(sender, e);
}
}
else if (e.KeyCode.ToString() == "Down")
{
e.Handled = true;
e.SuppressKeyPress = e.Handled;
Dialog_Helpers.suggestions_downarrow(
this.suggestionTextBox,
ref this.current_suggestion_expr);
}
else if (e.KeyCode.ToString() == "Up")
{
e.Handled = true;
e.SuppressKeyPress = e.Handled;
Dialog_Helpers.suggestions_uparrow(
this.suggestionTextBox,
ref this.current_suggestion_expr);
}
}
private void Check_key(object sender, System.Windows.Forms.KeyEventArgs e)
{
if (e.Shift)
{
is_shifted = true;
}
else
{
is_shifted = false;
}
if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
{
e.Handled = this.Complete_Suggestion();
if (!e.Handled)
{
e.Handled = true;
this.assignment_Text.Select(this.assignment_Text.TextLength, 0);
done_button_Click(sender, e);
}
}
else if (e.KeyCode.ToString() == "Down")
{
e.Handled = true;
Dialog_Helpers.suggestions_downarrow(
this.suggestionTextBox,
ref this.current_suggestion);
}
else if (e.KeyCode.ToString() == "Up")
{
e.Handled = true;
Dialog_Helpers.suggestions_uparrow(
this.suggestionTextBox,
ref this.current_suggestion);
}
}
