Esempio n. 1
0
 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);
     }
 }
Esempio n. 2
0
 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);
     }
 }
Esempio n. 3
0
 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);
     }
 }
Esempio n. 4
0
 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);
     }
 }